Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
--- a/absyntax_utils/get_sizeof_datatype.cc Fri Jul 20 15:50:49 2012 +0100
+++ b/absyntax_utils/get_sizeof_datatype.cc Fri Jul 20 15:53:58 2012 +0100
@@ -81,12 +81,9 @@
#include <stdlib.h>
#include <string.h>
#include <limits.h> // get definition of ULLONG_MAX
-/* tell stdint.h we want the definition of UINT64_MAX */
-#define __STDC_LIMIT_MACROS
-#include <stdint.h> // get definition of uint64_t and UINT64_MAX
#include <errno.h>
-#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.
+#include "../main.hh" // required for ERROR() and ERROR_MSG() macros, and uint64_t and UINT64_MAX