done=SD_simulate(-1);
} while(!xbt_dynar_is_empty(done));
xbt_os_cputimer_stop(timer);
- printf("exec_time:%lf\n", xbt_os_timer_elapsed(timer) );
+ printf("exec_time:%f\n", xbt_os_timer_elapsed(timer) );
xbt_dynar_free(&done);
xbt_dynar_free(&reclaimed);