diff -r bb4511694c0e -r ec8df1de3e08 absyntax_utils/absyntax_utils.hh --- a/absyntax_utils/absyntax_utils.hh Fri Oct 26 13:48:16 2012 +0100 +++ b/absyntax_utils/absyntax_utils.hh Fri Oct 26 13:52:16 2012 +0100 @@ -111,7 +111,6 @@ #include "search_var_instance_decl.hh" #include "decompose_var_instance_name.hh" #include "search_varfb_instance_type.hh" -#include "search_constant_type.hh" #include "add_en_eno_param_decl.hh" #include "get_sizeof_datatype.hh" #include "search_il_label.hh"