Merge pull request #643 from hannesm/runtime-side-effects
Re-enable calling terminate(vm) for its side effects
commita943d335620fac184ab8a8a221fc02281690baf7
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 20 Nov 2013, 03:49 (13 years ago)
parent1e8c2a8167a24d
rts/idris_rts.c+2−1
@@ -452,7 +452,8 @@ void* runThread(void* arg) {
452452
453453 free(td);
454454
455− // Stats stats = terminate(vm);
455+ // Stats stats =
456+ terminate(vm);
456457 // aggregate_stats(&(td->vm->stats), &stats);
457458 return NULL;
458459}