diff --git a/src/optimize_machine.ml b/src/optimize_machine.ml
index e2e75fbc9f28ff70bc34ea4662cc0a3a30e03afc..c24567ad919e1338055427cc6a834f115e3ef73a 100644
--- a/src/optimize_machine.ml
+++ b/src/optimize_machine.ml
@@ -1090,7 +1090,7 @@ let step_replace_var m reuse step =
     Format.(
       fprintf fmt "%n{@[%a}@]" k (pp_comma_list pp_print_int) (IntS.elements s))
   in
-  Format.printf "AVANT %a@." (VMap.pp pp) asg;
+  (* Format.printf "AVANT %a@." (VMap.pp pp) asg; *)
   (* SSA *)
   let step_instrs = instrs_replace_var m fvar step_instrs in
   (* update the locations of assignments, consider as reassignments only the
@@ -1106,7 +1106,7 @@ let step_replace_var m reuse step =
     (*   asg *)
     (*   VSet.empty *)
   in
-  Format.printf "APRES %a@." (VMap.pp pp) asg;
+  (* Format.printf "APRES %a@." (VMap.pp pp) asg; *)
   (* not SSA anymore *)
   let step_instrs = add_ghost_assigns_reassigned rasg step_instrs in
   (* not SSA anymore *)