improved terminal/logfile output of automatic tape replay (progress/summary)

[rocksndiamonds.git] / src / libgame / misc.h

diff --git a/src/libgame/misc.h b/src/libgame/misc.h
index 1e8f039d3274cc9e6e7472fa6ae1b317c8a63ec2..6c654cb5a5e0666db8344ec7f9d892ba511a3621 100644 (file)
--- a/src/libgame/misc.h
+++ b/src/libgame/misc.h
@@ -119,6 +119,7 @@ void printf_line(char *, int);
 void printf_line_with_prefix(char *, char *, int);
 
 void Print(char *, ...);
+void PrintNoLog(char *, ...);
 void PrintLine(char *, int);
 void PrintLineWithPrefix(char *, char *, int);