diff -r 9414b0785849 -r 91bef6704b44 absyntax_utils/get_datatype_info.hh --- a/absyntax_utils/get_datatype_info.hh Thu May 26 14:26:33 2016 +0100 +++ b/absyntax_utils/get_datatype_info.hh Thu May 26 15:00:20 2016 +0100 @@ -165,6 +165,8 @@ static bool is_ANY_SAFESTRING (symbol_c *type_symbol); static bool is_ANY_STRING_compatible (symbol_c *type_symbol); + // A non-standard extension --> data type 'VOID' (used for functions that do not return any data) + static bool is_VOID (symbol_c *type_symbol);