diff -r 70140bd7fe67 -r 563b013ec670 absyntax_utils/search_var_instance_decl.cc
--- a/absyntax_utils/search_var_instance_decl.cc	Wed Apr 25 16:45:00 2012 +0100
+++ b/absyntax_utils/search_var_instance_decl.cc	Wed Apr 25 16:56:25 2012 +0100
@@ -108,7 +108,7 @@
   return (symbol_c *)search_scope->accept(*this);
 }
 
-unsigned int search_var_instance_decl_c::get_vartype(symbol_c *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;
   this->search_name = get_var_name_c::get_name(variable);
@@ -116,7 +116,7 @@
   return this->current_vartype;
 }
 
-unsigned int search_var_instance_decl_c::get_option(symbol_c *variable) {
+search_var_instance_decl_c::opt_t search_var_instance_decl_c::get_option(symbol_c *variable) {
   this->current_vartype = none_vt;
   this->current_option  = none_opt;
   this->search_name = get_var_name_c::get_name(variable);