diff -r 98e7a0d3af21 -r e3d4dca7520b stage4/generate_iec/generate_iec.cc
--- a/stage4/generate_iec/generate_iec.cc	Wed Dec 10 12:06:45 2014 +0000
+++ b/stage4/generate_iec/generate_iec.cc	Sun Dec 14 18:40:20 2014 +0000
@@ -712,10 +712,8 @@
 /*********************/
 /* B 1.4 - Variables */
 /*********************/
-void *visit(symbolic_variable_c *symbol) {
-  symbol->var_name->accept(*this);
-  return NULL;
-}
+void *visit(symbolic_variable_c *symbol) {return symbol->var_name->accept(*this);}
+void *visit(symbolic_constant_c *symbol) {return symbol->var_name->accept(*this);}
 
 /********************************************/
 /* B.1.4.1   Directly Represented Variables */