Adding argument to unsupported_opt

OCamlPro · Sep 25, 2023 · d58c276 · d58c276
1 parent f6ed2dc
commit d58c276
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -50,8 +50,8 @@ let empty_solver_ctx = {
   global = [];
 }
 
-let unsupported_opt =
-  Printer.print_wrn "unsupported option %s"
+let unsupported_opt s =
+  Printer.print_wrn "unsupported option %s" s
 
 let main () =
   let () = Dolmen_loop.Code.init [] in
@@ -430,7 +430,7 @@ let main () =
   let handle_get_info (st : State.t) (kind: string) =
     let print_std =
       fun (type a) (pp :(Format.formatter -> a -> unit)) (a : a) ->
-        Printer.print_std ~flushed:true "(%s %a)" kind pp a
+        Printer.print_std "(%s %a)" kind pp a
     in
     match kind with
     | ":authors" ->