diff -r 9414b0785849 -r 91bef6704b44 stage4/generate_c/generate_c_base.cc
--- a/stage4/generate_c/generate_c_base.cc	Thu May 26 14:26:33 2016 +0100
+++ b/stage4/generate_c/generate_c_base.cc	Thu May 26 15:00:20 2016 +0100
@@ -658,6 +658,8 @@
     void *visit(safestring_type_name_c *symbol)  {s4o.print("STRING");  return NULL;}
     void *visit(safewstring_type_name_c *symbol) {s4o.print("WSTRING"); return NULL;}
 
+    void *visit(void_type_name_c *symbol)        {s4o.print("void");    return NULL;}
+
 /********************************/
 /* B.1.3.2 - Generic data types */
 /********************************/