From c9be279552d3f22f9bf9749df49f7a83de8df03a 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 af1b902d52..b35a6f3f94 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