Removed trace.

c2beb02f · Jérôme Maloberti · 9b62b72a · c2beb02f
Commit c2beb02f authored May 13, 2011 by Jérôme Maloberti
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

types/types.ml types/types.ml +2 -2

No files found.
--- a/types/types.ml
+++ b/types/types.ml
@@ -1835,8 +1835,8 @@ struct
    Print.assign_name t;
    t;;

-  let trace msg = output_string stderr (msg ^ "\n"); 
-    flush stderr;;
+  let trace msg = (* output_string stderr (msg ^ "\n"); 
+		     flush stderr *) ();;

  let print_to_string f =
    let b = Buffer.create 1024 in