diff -r d21e598b0b75 -r b737cfc92614 stage4/generate_iec/generate_iec.cc
--- a/stage4/generate_iec/generate_iec.cc	Sun Jan 13 16:06:00 2013 +0000
+++ b/stage4/generate_iec/generate_iec.cc	Tue Jan 22 16:07:49 2013 +0000
@@ -722,9 +722,7 @@
   if (typeid(*(symbol->method)) == typeid(explicit_definition_c)) {
     symbol->name->accept(*this);
     s4o.print(" : ");
-    symbol->type->accept(*this);
-    s4o.print(" := ");
-    symbol->value->accept(*this);
+    symbol->type_decl->accept(*this);
   }
   return NULL;
 }