# HG changeset patch
# User Laurent Bessard
# Date 1366316821 -7200
# Node ID dcd861dda04a839872a65f9f84707f1233e6b121
# Parent  4cfca12bf8506926f6cfdac8fcb33e4ad2c84b85
Fixed bug when defining task with single_data_source instead of interval_data_source

diff -r 4cfca12bf850 -r dcd861dda04a stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Fri Apr 05 09:37:52 2013 +0900
+++ b/stage4/generate_c/generate_c.cc	Thu Apr 18 22:27:01 2013 +0200
@@ -476,9 +476,11 @@
 /*  TASK task_name task_initialization */
 //SYM_REF2(task_configuration_c, task_name, task_initialization)  
     void *visit(task_initialization_c *symbol) {
-      unsigned long long time = calculate_time(symbol->interval_data_source);
-      if (time < 0)  ERROR;
-      else           update_ticktime(time);
+      if (symbol->interval_data_source != NULL) {
+    	  unsigned long long time = calculate_time(symbol->interval_data_source);
+    	  if (time < 0)  ERROR;
+    	  else           update_ticktime(time);
+      }
       return NULL;
     }
 };