1 2 3 4 5 6 7 8 9 10
--- mozart-1.4.0.20080704.orig/platform/emulator/value.hh 2008-06-27 01:39:31.000000000 +1200 +++ mozart-1.4.0.20080704/platform/emulator/value.hh 2008-08-24 09:24:46.000000000 +1200 @@ -284,6 +284,7 @@ // #include <math.h> #include <limits.h> +#include <cstdio> #ifndef GMP_NEEDS_CPLUSPLUS extern "C" { #endif