diff -r 4e0955fca797 -r f22952603f29 src/common.h
--- a/src/common.h	Mon Nov 26 23:12:40 2007 +0100
+++ b/src/common.h	Thu Nov 29 18:30:16 2007 +0100
@@ -1,9 +1,21 @@
 #ifndef COMMON_H
 #define COMMON_H
 
+#include <stdio.h>
+#include <stdarg.h>
 #include <float.h>
 
 #define Eps 1e-6
 #define Inf FLT_MAX
 
+inline void infomsg(const char *format, ...)
+{
+#ifndef PYRIT_QUITE
+	va_list ap;
+	va_start(ap, format);
+	vprintf(format, ap);
+	va_end(ap);
 #endif
+}
+
+#endif