Re-enable calling terminate(vm) for its side effects
(was commented out in dce3569681698ca70edfa306e39dc94a1b1c1025)
commit167a24dab14b9fe807cedffb84d34f0c340d7cbf
authorHannes Mehnert <hannes@mehnert.org>
dateWed 20 Nov 2013, 11:23 (13 years ago)
parentd33d0bf
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}