diff -r 18a39a545ed9 -r 39086e324665 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Thu Mar 20 17:27:29 2014 +0100
+++ b/stage3/constant_folding.cc	Wed May 28 11:32:09 2014 +0200
@@ -379,14 +379,14 @@
   else ERROR;
     
   errno = 0; // since strtoXX() may legally return 0, we must set errno to 0 to detect errors correctly!
-  #if    (real64_t  == float)
+  #if    (real64_tX  == float)
     ret = strtof(str.c_str(),  &endptr);
-  #elif  (real64_t  == double)
+  #elif  (real64_tX  == double)
     ret = strtod(str.c_str(),  &endptr);
-  #elif  (real64_t  == long_double)
+  #elif  (real64_tX  == long_double)
     ret = strtold(str.c_str(), &endptr);
   #else 
-    #error Could not determine which data type is being used for real64_t (defined in absyntax.hh). Aborting!
+    #error Could not determine which data type is being used for real64_t (defined in main.hh). Aborting!
   #endif
   if (overflow != NULL)
     *overflow = (errno == ERANGE);