diff -r 79b516a3803d -r 76b7bd51d64a src/common.h
--- a/src/common.h	Fri Nov 30 00:44:51 2007 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-#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