diff -r e657008f43d0 -r da1a8186f86f absyntax_utils/search_var_instance_decl.cc
--- a/absyntax_utils/search_var_instance_decl.cc	Thu Jul 02 11:26:25 2009 +0100
+++ b/absyntax_utils/search_var_instance_decl.cc	Thu Aug 27 16:06:46 2009 +0100
@@ -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 */