diff options
| author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-27 18:08:53 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 18:29:50 +0200 |
| commit | 4e6129afb9aab53d14f16ac74a5a4e80323b5813 (patch) | |
| tree | 7037708e3ae50407842b8216117d0edb47e71c60 /src/verit/verit.mli | |
| parent | a2e8b2f68fa82ca96468cb0613710c07b27192da (diff) | |
| download | smtcoq-4e6129afb9aab53d14f16ac74a5a4e80323b5813.tar.gz smtcoq-4e6129afb9aab53d14f16ac74a5a4e80323b5813.zip | |
formatting
Diffstat (limited to 'src/verit/verit.mli')
| -rw-r--r-- | src/verit/verit.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/verit/verit.mli b/src/verit/verit.mli index 3741339..126a02b 100644 --- a/src/verit/verit.mli +++ b/src/verit/verit.mli @@ -21,7 +21,8 @@ val theorem : Names.identifier -> string -> string -> unit val checker : string -> string -> unit val export : out_channel -> - SmtAtom.Btype.reify_tbl -> SmtAtom.Op.reify_tbl -> SmtAtom.Form.t -> unit + SmtAtom.Btype.reify_tbl -> SmtAtom.Op.reify_tbl -> + SmtAtom.Form.t -> unit val call_verit : SmtAtom.Btype.reify_tbl -> SmtAtom.Op.reify_tbl -> |