| --- 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 |