stage4/generate_iec/generate_iec.cc
changeset 945 477393b00f95
parent 936 0f7bcc160568
child 958 7474d2cd1d6e
--- a/stage4/generate_iec/generate_iec.cc	Sat Oct 25 13:20:10 2014 +0100
+++ b/stage4/generate_iec/generate_iec.cc	Sun Nov 16 12:54:10 2014 +0000
@@ -253,7 +253,8 @@
 /*******************************************/
 /* B 1.1 - Letters, digits and identifiers */
 /*******************************************/
-void *visit(identifier_c *symbol) {return print_token(symbol);}
+void *visit(                 identifier_c *symbol) {return print_token(symbol);}
+void *visit(derived_datatype_identifier_c *symbol) {return print_token(symbol);}
 
 /*********************/
 /* B 1.2 - Constants */