summaryrefslogtreecommitdiff
blob: a74b686816cd3fd0a23acdc9062f30fa2b90d66a (plain)
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