diff -r 80b412fc7f3c -r e3fbf97d2021 absyntax_utils/search_varfb_instance_type.cc
--- a/absyntax_utils/search_varfb_instance_type.cc	Thu Jun 16 11:12:02 2011 +0100
+++ b/absyntax_utils/search_varfb_instance_type.cc	Thu Jun 16 11:14:13 2011 +0100
@@ -171,6 +171,7 @@
 }
 
 symbol_c *search_varfb_instance_type_c::get_type_id(symbol_c *variable_name) {
+  this->current_rawtype = NULL;
   symbol_c *rawtype = this->get_basetype_decl(variable_name);
   if (this->current_rawtype != NULL)
     return this->current_rawtype;