From e2683e1e653a1b6872a886f4b99218e2803f7a74 Mon Sep 17 00:00:00 2001
From: vblot <24938579+vblot@users.noreply.github.com>
Date: Wed, 7 Jul 2021 08:55:25 +0200
Subject: use native integers (#96)

---
 src/trace/coqTerms.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/trace/coqTerms.ml')

diff --git a/src/trace/coqTerms.ml b/src/trace/coqTerms.ml
index 1c4ee81..67392bb 100644
--- a/src/trace/coqTerms.ml
+++ b/src/trace/coqTerms.ml
@@ -18,7 +18,7 @@ let gen_constant = CoqInterface.gen_constant
 
 (* Int63 *)
 let cint = CoqInterface.cint
-let ceq63 = gen_constant CoqInterface.int63_modules "eqb"
+let ceq63 = gen_constant CoqInterface.int63_module "eqb"
 
 (* PArray *)
 let carray = gen_constant CoqInterface.parray_modules "array"
-- 
cgit