Update src/smtml/solver.ml

formalsec · Mar 5, 2025 · 333ee13 · 333ee13
1 parent 7dcc263
commit 333ee13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smtml/solver.ml b/src/smtml/solver.ml
@@ -204,7 +204,7 @@ module Cached (Mappings_ : Mappings.S) = struct
     let model ?(symbols : Symbol.t list option) (s : t) : Model.t option =
       let open Option in
       let* last_check = s.last_check in
-      (* We need to explicitly check_set because we don't want a cached reseponse *)
+      (* We need to explicitly check_set because we don't want a cached response *)
       match check_set s.solver last_check with
       | `Sat -> model ?symbols s.solver
       | `Unsat | `Unknown -> None