bug fixes
[IRC.git] / Robust / src / Runtime / bamboo / multicoreruntime.c
index 9b0db4319972004809d8fc0281c5b131989cba80..039ca11e6c7235f5702955da70aa4d7bc5a6a916 100644 (file)
@@ -371,7 +371,7 @@ void CALL00(___System______gc____) {
       }
       for(int i = 0; i < NUMCORES4GC; i++) {
         if(i != STARTUPCORE) {
-          send_msg_1_I(i,GCSTARTPRE);
+          send_msg_1(i,GCSTARTPRE);
         }
       }
     }