From 7940ef63c654be26b41ce20162207f3c67d0b10a Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Sun, 28 Oct 2018 00:30:23 +0200 Subject: New files SmtBtype.ml(i) for module formerly in SmtAtom --- src/verit/veritSyntax.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/verit/veritSyntax.mli') diff --git a/src/verit/veritSyntax.mli b/src/verit/veritSyntax.mli index 281deef..c7bf659 100644 --- a/src/verit/veritSyntax.mli +++ b/src/verit/veritSyntax.mli @@ -31,8 +31,8 @@ val lit_of_atom_form_lit : SmtAtom.Form.reify -> atom_form_lit -> SmtAtom.Form.t val get_solver : int -> atom_form_lit val add_solver : int -> atom_form_lit -> unit -val get_btype : string -> SmtAtom.btype -val add_btype : string -> SmtAtom.btype -> unit +val get_btype : string -> SmtBtype.btype +val add_btype : string -> SmtBtype.btype -> unit val get_fun : string -> SmtAtom.indexed_op val add_fun : string -> SmtAtom.indexed_op -> unit -- cgit