blob: 179cf09ebda3f8f83fdf3a198b2f51435ebfe16e (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- src/engine/dbg.cpp.old 2009-06-03 15:15:46.000000000 +0200
+++ src/engine/dbg.cpp 2009-06-03 16:09:19.000000000 +0200
@@ -28,6 +28,7 @@
#include <vector>
#include <map>
#include <algorithm>
+#include <cstdio>
/**********************************************************************
* Implementation notes
|