diff -r a45a62dd6df9 -r 2989051a0a64 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Sat Jul 14 11:09:26 2012 +0200
+++ b/stage3/constant_folding.cc	Wed Jul 18 16:56:36 2012 +0100
@@ -126,35 +126,7 @@
 // #include <stdlib.h>  /* required for atoi() */
 #include <errno.h>   /* required for errno */
 
-
-
-#define __STDC_LIMIT_MACROS /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */
-#include <stdint.h>         /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */
-
-
-
-#ifndef   UINT64_MAX 
-  #define UINT64_MAX (std::numeric_limits< uint64_t >::max())
-#endif
-#ifndef    INT64_MAX 
-  #define  INT64_MAX (std::numeric_limits<  int64_t >::max())
-#endif
-#ifndef    INT64_MIN
-  #define  INT64_MIN (std::numeric_limits<  int64_t >::min()) 
-#endif
-
-#if    (real64_t  == float)
-  #define HUGE_VAL64  HUGE_VALF
-#elif  (real64_t  == double)
-  #define HUGE_VAL64  HUGE_VAL
-#elif  (real64_t  == long_double)
-  #define HUGE_VAL64  HUGE_VALL
-#else 
-  #error Could not determine which data type is being used for real64_t (defined in absyntax.hh). Aborting!
-#endif
-
-
-
+#include <../main.hh>         /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */