diff -r 31e3b3f2eff1 -r 5074236fb3c4 absyntax_utils/search_var_instance_decl.cc
--- a/absyntax_utils/search_var_instance_decl.cc	Sun Oct 19 21:30:58 2014 +0100
+++ b/absyntax_utils/search_var_instance_decl.cc	Sat Oct 25 11:15:55 2014 +0100
@@ -109,6 +109,10 @@
   return (symbol_c *)search_scope->accept(*this);
 }
 
+symbol_c *search_var_instance_decl_c::get_basetype_decl(symbol_c *variable) {
+  return search_base_type_c::get_basetype_decl(get_decl(variable));
+}
+
 search_var_instance_decl_c::vt_t search_var_instance_decl_c::get_vartype(symbol_c *variable) {
   this->current_vartype = none_vt;
   this->current_option  = none_opt;