diff -r d41dc551a326 -r a61f8f58f612 absyntax_utils/search_base_type.cc --- 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 */