diff options
Diffstat (limited to 'src/trace/smtMisc.ml')
-rw-r--r-- | src/trace/smtMisc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index 02e5f26..849c0d7 100644 --- a/src/trace/smtMisc.ml +++ b/src/trace/smtMisc.ml @@ -20,7 +20,7 @@ let cInt_tbl = Hashtbl.create 17 let mkInt i = try Hashtbl.find cInt_tbl i with Not_found -> - let ci = Term.mkInt (Uint63.of_int i) in + let ci = Structures.mkInt i in Hashtbl.add cInt_tbl i ci; ci |