--- a/stage4/generate_iec/generate_iec.cc	Thu May 26 14:26:33 2016 +0100
+++ b/stage4/generate_iec/generate_iec.cc	Thu May 26 15:00:20 2016 +0100
@@ -414,7 +414,7 @@
 void *visit(     string_type_name_c *symbol) {s4o.print("STRING");      return NULL;}
 void *visit(    wstring_type_name_c *symbol) {s4o.print("WSTRING");     return NULL;}
 
-void *visit(                 void_c *symbol) {s4o.print("VOID");        return NULL;} /* a non-standard extension! */
+void *visit(       void_type_name_c *symbol) {s4o.print("VOID");        return NULL;} /* a non-standard extension! */
 
 void *visit(   safetime_type_name_c *symbol) {s4o.print("SAFETIME");    return NULL;}
 void *visit(   safebool_type_name_c *symbol) {s4o.print("SAFEBOOL");    return NULL;}