diff -r 9414b0785849 -r 91bef6704b44 absyntax_utils/get_datatype_info.cc
--- a/absyntax_utils/get_datatype_info.cc	Thu May 26 14:26:33 2016 +0100
+++ b/absyntax_utils/get_datatype_info.cc	Thu May 26 15:00:20 2016 +0100
@@ -127,6 +127,8 @@
     void *visit(safestring_type_name_c  *symbol) {return (void *)symbol;};
     void *visit(safewstring_type_name_c *symbol) {return (void *)symbol;};
 
+    void *visit(void_type_name_c        *symbol) {return (void *)symbol;};
+
     /********************************/
     /* B 1.3.3 - Derived data types */
     /********************************/
@@ -260,6 +262,8 @@
     void *visit(safestring_type_name_c  *symbol) {return (void *)"SAFESTRING";  };
     void *visit(safewstring_type_name_c *symbol) {return (void *)"SAFEWSTRING"; };
 
+    void *visit(void_type_name_c        *symbol) {return (void *)"VOID"; };
+
     /********************************/
     /* B.1.3.2 - Generic data types */
     /********************************/
@@ -1352,6 +1356,21 @@
 
 
 
+
+bool get_datatype_info_c::is_VOID(symbol_c *type_symbol) {
+  if (type_symbol == NULL)                                     {return false;}
+  if (typeid(*type_symbol) == typeid(void_type_name_c))        {return true;}
+  return false;
+}
+
+
+
+
+
+
+
+
+
 /* Can't we do away with this?? */
 bool get_datatype_info_c::is_ANY_REAL_literal(symbol_c *type_symbol) {
   if (type_symbol == NULL)                              {return true;} /* Please make sure things will work correctly before changing this to false!! */