diff -r 740da3255d9d -r 01e33dc2a255 absyntax_utils/absyntax_utils.hh
--- a/absyntax_utils/absyntax_utils.hh	Tue Oct 16 18:01:22 2012 +0100
+++ b/absyntax_utils/absyntax_utils.hh	Tue Oct 16 18:06:32 2012 +0100
@@ -118,6 +118,7 @@
 #include "search_il_label.hh"
 #include "get_var_name.hh"
 #include "get_datatype_info.hh"
+#include "debug_ast.hh"
 
 /***********************************************************************/
 /***********************************************************************/