fix [partial-match] warning in psmt2_to_alt_ergo (#484)

OCamlPro · Sep 13, 2021 · 384906b · 384906b
1 parent 2ca1a08
commit 384906b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/parsers/psmt2_to_alt_ergo.ml b/src/parsers/psmt2_to_alt_ergo.ml
@@ -441,6 +441,9 @@ module Translate = struct
     | Cmd_SetInfo _ -> not_supported "set-info"; acc
     | Cmd_Push n -> translate_push_pop mk_push n (pos command) :: acc
     | Cmd_Pop n -> translate_push_pop mk_pop n (pos command) :: acc
+    | Cmd_CheckAllSat _ -> not_supported "check-all-sat"; acc
+    | Cmd_Maximize _ -> not_supported "maximize"; acc
+    | Cmd_Minimize _ -> not_supported "minimize"; acc
     | Cmd_Exit -> acc
 
   let init () =