diff options
| author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-28 00:30:23 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 00:30:23 +0200 |
| commit | 7940ef63c654be26b41ce20162207f3c67d0b10a (patch) | |
| tree | 89d7e2a04b93a0cb37642416535637ddb45eba8b /src/verit/veritSyntax.ml | |
| parent | cefda895d15a3f7eb7bf75402beb6fae22162585 (diff) | |
| download | smtcoq-7940ef63c654be26b41ce20162207f3c67d0b10a.tar.gz smtcoq-7940ef63c654be26b41ce20162207f3c67d0b10a.zip | |
New files SmtBtype.ml(i) for module formerly in SmtAtom
Diffstat (limited to 'src/verit/veritSyntax.ml')
| -rw-r--r-- | src/verit/veritSyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verit/veritSyntax.ml b/src/verit/veritSyntax.ml index e03cbec..b598e2c 100644 --- a/src/verit/veritSyntax.ml +++ b/src/verit/veritSyntax.ml @@ -335,7 +335,7 @@ let get_solver id = let add_solver id cl = Hashtbl.add solver id cl let clear_solver () = Hashtbl.clear solver -let btypes : (string,btype) Hashtbl.t = Hashtbl.create 17 +let btypes : (string, SmtBtype.btype) Hashtbl.t = Hashtbl.create 17 let get_btype id = try Hashtbl.find btypes id with | Not_found -> failwith ("VeritSyntax.get_btype : sort symbol \""^id^"\" not found\n") |