diff -r c353bc67bf91 -r e28b47911c19 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Sat Jun 09 22:55:29 2012 +0100
+++ b/stage3/constant_folding.cc	Sat Jun 09 22:58:43 2012 +0100
@@ -122,7 +122,6 @@
 
 #include "constant_folding.hh"
 #include <limits>
-#include <stdint.h> /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */
 #include <math.h> /* required for pow function */
 #include <stdlib.h> /* required for malloc() */