changeset 678 | 01e33dc2a255 |
parent 671 | d28c7ebaca21 |
child 692 | c3287ffaee8c |
--- 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" /***********************************************************************/ /***********************************************************************/