From 9a94a9aa6f49fd7bd3e21f0a34563e7fab0c4456 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 31 Jan 2023 19:14:24 -0800
Subject: [PATCH] update ml api

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/ml/z3.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli
index 6c0f0f60b8e..51116935642 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