Ahmeda

executablecode/generated_src/Color.c

@@ -56,7 +56,7 @@ void *mainFunc__Color(void *arg){
       
       case STATE__WAIT_FOR_READY: 
       traceStateEntering(__myname, "WAIT_FOR_READY");
-      makeNewRequest(&__req0, 2131, RECEIVE_SYNC_REQUEST, 0, 0, 0, 0, __params0);
+      makeNewRequest(&__req0, 1539, RECEIVE_SYNC_REQUEST, 0, 0, 0, 0, __params0);
       __req0.syncChannel = &__Color_ready_to_receive__Controller_ready_to_receive_color;
       __returnRequest = executeOneRequest(&__list, &__req0);
       clearListOfRequests(&__list);
@@ -64,7 +64,7 @@ void *mainFunc__Color(void *arg){
       color = Color__checkColor();
       traceVariableModification("Color", "color", color,0);
       __params0[0] = &color;
-      makeNewRequest(&__req0, 2132, SEND_SYNC_REQUEST, 0, 0, 0, 1, __params0);
+      makeNewRequest(&__req0, 1540, SEND_SYNC_REQUEST, 0, 0, 0, 1, __params0);
       __req0.syncChannel = &__Color_sendColor__Controller_receiveColor;
       __returnRequest = executeOneRequest(&__list, &__req0);
       clearListOfRequests(&__list);