diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
index 84a5b78624..c4728c1e87 100644
--- a/src/bin/common/solving_loop.ml
+++ b/src/bin/common/solving_loop.ml
@@ -433,27 +433,27 @@ let main () =
 
   let handle_get_info (st : State.t) (kind: string) =
     let print_std =
-      fun (type a) (pp :(Format.formatter -> a -> unit)) (a : a) ->
+      fun (type a) (pp :a Fmt.t) (a : a) ->
         Printer.print_std "(%s %a)" kind pp a
     in
     match kind with
     | ":authors" ->
-      print_std (fun fmt -> Format.fprintf fmt "%S") "Alt-Ergo developers"
+      print_std (fun fmt -> Fmt.pf fmt "%S") "Alt-Ergo developers"
     | ":error-behavior" ->
-      print_std Format.pp_print_string "immediate-exit"
+      print_std Fmt.string "immediate-exit"
     | ":name" ->
-      print_std (fun fmt -> Format.fprintf fmt "%S") "alt-ergo"
+      print_std (fun fmt -> Fmt.pf fmt "%S") "alt-ergo"
     | ":reason-unknown" ->
       print_std pp_reason_unknown st
     | ":version" ->
-      print_std Format.pp_print_string Version._version
+      print_std Fmt.string Version._version
     | ":all-statistics"
     | ":assertion-stack-levels" ->
       unsupported_opt kind;
-      print_std Format.pp_print_string "unsupported"
+      print_std Fmt.string "unsupported"
     | _ ->
       Printer.print_wrn "unknown option %S" kind;
-      print_std Format.pp_print_string "unsupported"
+      print_std Fmt.string "unsupported"
 
   in