--- a/absyntax_utils/search_base_type.cc Wed May 11 19:38:31 2016 +0100
+++ b/absyntax_utils/search_base_type.cc Fri May 13 12:18:50 2016 +0100
@@ -184,6 +184,8 @@
void *search_base_type_c::visit(string_type_name_c *symbol) {return (void *)symbol;}
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;}
/******************************************************/
/* Extensions to the base standard as defined in */