diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli
index 6c0f0f60b..511169356 100644
--- a/src/api/ml/z3.mli
+++ b/src/api/ml/z3.mli
@@ -3102,7 +3102,7 @@ sig
   val interrupt : context -> unit
 end
 
-moduls Simplifier :
+module Simplifier :
 sig
   type simplifier