[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiUtf8.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiUtf8.ml
diff -u mldonkey/src/gtk2/gui/guiUtf8.ml:1.1 
mldonkey/src/gtk2/gui/guiUtf8.ml:1.2
--- mldonkey/src/gtk2/gui/guiUtf8.ml:1.1        Wed Mar  2 19:45:12 2005
+++ mldonkey/src/gtk2/gui/guiUtf8.ml    Mon Oct 31 18:34:02 2005
@@ -724,7 +724,7 @@
   enc_list := List.filter (fun enc -> enc <> charset) !enc_list;
   enc_list := if (charset <> "UTF-8") then charset::!enc_list else !enc_list;
   List.iter (fun enc ->
-    Printf.printf "Use encoding %s\n" enc; 
+    Printf2.lprintf "Use encoding %s\n" enc; 
     flush stdout
   ) !enc_list;
   nenc := List.length !enc_list