1 files changed, 2 insertions, 2 deletions
diff --git a/lib/smt.sail b/lib/smt.sail
index ae672947..c9312819 100644
--- a/lib/smt.sail
+++ b/lib/smt.sail
@@ -7,7 +7,7 @@ val div = {
   smt: "div",
   ocaml: "quotient",
   lem: "integerDiv",
-  c: "div_int"
+  c: "tdiv_int"
 } : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = div('n, 'm). atom('o)}
 
 overload operator / = {div}
@@ -16,7 +16,7 @@ val mod = {
   smt: "mod",
   ocaml: "modulus",
   lem: "integerMod",
-  c: "mod_int"
+  c: "tmod_int"
 } : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = mod('n, 'm). atom('o)}
 
 overload operator % = {mod}