diff -r 33040b7695c0 -r 1d0022336fbb hedgewars/uMisc.pas
--- a/hedgewars/uMisc.pas	Thu May 08 18:02:52 2008 +0000
+++ b/hedgewars/uMisc.pas	Thu May 08 18:38:52 2008 +0000
@@ -346,7 +346,7 @@
 {$I+}
 
 finalization
-uRandom.DumpBuffer;
+//uRandom.DumpBuffer;
 writeln(f, '-= halt at ',GameTicks,' ticks =-');
 Flush(f);
 close(f)