diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
index f181e99b60..f68176fb5a 100644
--- 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" ->