Update src/bin/common/solving_loop.ml

Co-authored-by: Basile Clément <[email protected]>
Stevendeo · Nov 24, 2023 · ca0bdb5 · ca0bdb5
1 parent 528678e
commit ca0bdb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -100,7 +100,7 @@ let enable_maxsmt b =
 let cmd_on_modes st modes cmd =
   if O.get_input_format () = Some Options.Smtlib2 then begin
     let curr_mode = DO.Mode.get st in
-    if List.for_all (Fun.negate (Util.equal_mode curr_mode)) modes then
+    if not (List.exists (Util.equal_mode curr_mode)) modes then
       Errors.forbidden_command curr_mode cmd
   end