diff -r 1a4f5ce62962 -r 76c3d707ffa1 stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Thu Sep 13 09:55:00 2012 +0200
+++ b/stage4/generate_c/generate_c.cc	Thu Sep 13 15:14:55 2012 +0200
@@ -352,7 +352,7 @@
   interval_c *interval = dynamic_cast<interval_c *>(symbol);
   duration_c *duration = dynamic_cast<duration_c *>(symbol);
   
-  if ((NULL == interval) && (NULL == duration)) ERROR;
+  if ((NULL == interval) && (NULL == duration))
   	  {STAGE4_ERROR(symbol, symbol, "This type of interval value is not currently supported"); ERROR;}
 
   if (NULL != duration) {