From 7fb0106ead4ef5e88c605c49fd02ca529e68511d Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Tue, 27 Nov 2018 22:14:41 +0700 Subject: [PATCH] Fix typo in OCaml API docs. --- 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 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