diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli
index 6d478c57f..4b6d8bc25 100644
--- a/src/api/ml/z3.mli
+++ b/src/api/ml/z3.mli
@@ -3477,6 +3477,6 @@ val disable_trace : string -> unit
 (** Memory management **)
 module Memory :
 sig
-  (** Reset all allocated resourced **)
+  (** Reset all allocated resources **)
   val reset : unit -> unit
 end