diff options
Diffstat (limited to 'src/trace/coqTerms.ml')
-rw-r--r-- | src/trace/coqTerms.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/coqTerms.ml b/src/trace/coqTerms.ml index d71ba45..e8a7737 100644 --- a/src/trace/coqTerms.ml +++ b/src/trace/coqTerms.ml @@ -18,7 +18,7 @@ open Coqlib let gen_constant modules constant = lazy (gen_constant_in_modules "SMT" modules constant) (* Int63 *) -let cint = gen_constant Structures.int63_modules "int" +let cint = Structures.cint let ceq63 = gen_constant Structures.int63_modules "eqb" (* PArray *) |