--- a/absyntax_utils/search_base_type.cc	Thu May 26 14:26:33 2016 +0100
+++ b/absyntax_utils/search_base_type.cc	Thu May 26 15:00:20 2016 +0100
@@ -185,7 +185,7 @@
 void *search_base_type_c::visit(wstring_type_name_c *symbol)      {return (void *)symbol;}
 
 /* A non standard datatype! */
-void *search_base_type_c::visit(void_c *symbol)                   {return (void *)symbol;}
+void *search_base_type_c::visit(void_type_name_c *symbol)         {return (void *)symbol;}
 
 /******************************************************/
 /* Extensions to the base standard as defined in      */