--- trunk/src/utils/ParameterManager.hpp	2009/11/25 20:02:06	1390
+++ trunk/src/utils/ParameterManager.hpp	2010/01/06 21:06:59	1401
@@ -50,6 +50,7 @@
 #define UTILS_PARAMETERMANAGER_HPP
 
 #include <iostream>
+#include <cstdio>
 
 #include <stdlib.h>
 #include <vector>