Fix jsoo compilation

bclement-ocp · May 31, 2024 · b162477 · b162477
1 parent b5ebd3a
commit b162477
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/bin/js/options_interface.ml b/src/bin/js/options_interface.ml
@@ -39,15 +39,15 @@ let get_input_format = function
   | None -> None
   | Some f -> match f with
     | Native -> Some Options.Native
-    | Smtlib2 -> Some Options.Smtlib2
+    | Smtlib2 -> Some (Options.Smtlib2 `Poly)
     | Why3 -> Some Options.Why3
     | Unknown s -> Some (Options.Unknown s)
 
 let get_output_format = function
   | None -> None
   | Some f -> match f with
     | Native -> Some Options.Native
-    | Smtlib2 -> Some Options.Smtlib2
+    | Smtlib2 -> Some (Options.Smtlib2 `Poly)
     | Why3 -> Some Options.Why3
     | Unknown s -> Some (Options.Unknown s)