update ml api

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Feb 1, 2023 · 9a94a9a · 9a94a9a
1 parent 17bae9b
commit 9a94a9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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