diff -r 958454e9e40f -r c3287ffaee8c absyntax_utils/absyntax_utils.hh
--- a/absyntax_utils/absyntax_utils.hh	Thu Oct 25 18:27:23 2012 +0100
+++ b/absyntax_utils/absyntax_utils.hh	Thu Oct 25 18:51:55 2012 +0100
@@ -112,7 +112,6 @@
 #include "decompose_var_instance_name.hh"
 #include "search_varfb_instance_type.hh"
 #include "search_constant_type.hh"
-#include "search_il_operand_type.hh"
 #include "add_en_eno_param_decl.hh"
 #include "get_sizeof_datatype.hh"
 #include "search_il_label.hh"