a943d33 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #643 from hannesm/runtime-side-effects

a943d33Edwin Brady13 years ago

rts/idris_rts.c+2−1

@@ -452,7 +452,8 @@ void* runThread(void* arg) {

452

453 free(td);

454

455+ // Stats stats =

455− // Stats stats = terminate(vm);

456+ terminate(vm);

456 // aggregate_stats(&(td->vm->stats), &stats);

457 // aggregate_stats(&(td->vm->stats), &stats);

457 return NULL;

458 return NULL;

458}

459}