Remove the construct EDSL.printf

src/lib/EDSL.mli

@@ -49,7 +49,6 @@ val if_seq:
 
 val seq : unit t list -> unit t
 val not : bool t -> bool t
-val printf : ('a, unit, string, unit t) format4 -> 'a
 
 val file_exists : string t -> bool t
 

src/lib/language.ml

@@ -90,9 +90,6 @@ module Construct = struct
 
   let not t = Not t
 
-  let printf fmt =
-    ksprintf (fun s -> exec ["printf"; "%s"; s]) fmt
-
   let fail = Fail
 
   let make_switch: type a. (bool t * unit t) list -> default: unit t -> unit t =

src/test/main.ml

@@ -15,8 +15,8 @@ let exits ?name ?args n c = [
 
 let tests =
   let exit n = Construct.exec ["exit"; Int.to_string n] in
-  let return n =
-    Construct.exec ["sh"; "-c"; sprintf "exit %d" n] in
+  let return n = Construct.exec ["sh"; "-c"; sprintf "exit %d" n] in
+  let printf fmt = ksprintf (fun s -> Construct.exec ["printf"; "%s"; s]) fmt in
   List.concat [
     exits 0 Construct.(
         succeeds (exec ["ls"])