From ca0bdb5d1ec654090be0c47b590b1a90f62eed24 Mon Sep 17 00:00:00 2001 From: Stevendeo Date: Fri, 24 Nov 2023 10:08:39 +0100 Subject: [PATCH] Update src/bin/common/solving_loop.ml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Basile Clément <129742207+bclement-ocp@users.noreply.github.com> --- src/bin/common/solving_loop.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml index dbcfd16fe9..54fc43e549 100644 --- 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