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