blob: dfc1a8d8e77e601b1e44c13bbc7329c7c22db869 (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- a/src/engine/dbg.cpp 2009-06-03 15:15:46.000000000 +0200
+++ b/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
|