int main(int argc, char* argv[])
{
- sthread_inside_simgrid = 1;
sthread_mutex_init(&mutex, NULL);
- sthread_t thread1, thread2;
+ sthread_t thread1;
+ sthread_t thread2;
sthread_create(&thread1, NULL, thread1_fun, NULL);
sthread_create(&thread2, NULL, thread2_fun, NULL);
// pthread_join(thread1, NULL);