Flushing debug output

backend/LICMaux.ml

@@ -23,7 +23,7 @@ type reg = P.t;;
 let debug_flag = ref false
 
 let debug fmt =
-  if !debug_flag then Printf.eprintf fmt
+  if !debug_flag then (flush stderr; Printf.eprintf fmt)
   else Printf.ifprintf stderr fmt
 
 type vstate = Unvisited | Processed | Visited