diff -r dabffc3086dc -r 8acbddf75333 absyntax/absyntax.hh
--- a/absyntax/absyntax.hh	Tue Jun 05 19:17:29 2012 +0200
+++ b/absyntax/absyntax.hh	Wed Jun 06 12:39:32 2012 +0100
@@ -49,6 +49,7 @@
 #include <stdio.h> // required for NULL
 #include <vector>
 #include <string>
+#include <stdint.h>  // required for uint64_t, etc...
 
 /* Forward declaration of the visitor interface
  * declared in the visitor.hh file