diff -r fde2d08ebaee -r 96d8b6e006f0 absyntax_utils/search_var_instance_decl.cc
--- a/absyntax_utils/search_var_instance_decl.cc	Wed Sep 02 13:39:05 2009 +0200
+++ b/absyntax_utils/search_var_instance_decl.cc	Wed Sep 02 14:05:27 2009 +0200
@@ -121,6 +121,14 @@
   return res;
 }
 
+/* ENO : BOOL */
+void *search_var_instance_decl_c::visit(eno_param_declaration_c *symbol) {
+  if (compare_identifiers(symbol->name, search_name) == 0)
+    return symbol->type;
+  return NULL;
+}
+
+
 /* VAR [CONSTANT] var_init_decl_list END_VAR */
 /* option -> may be NULL ! */
 /* helper symbol for input_declarations */