diff --git a/mps/example/scheme/scheme-advanced.c b/mps/example/scheme/scheme-advanced.c index 58504799138..775f6eebb2c 100644 --- a/mps/example/scheme/scheme-advanced.c +++ b/mps/example/scheme/scheme-advanced.c @@ -4565,6 +4565,7 @@ int main(int argc, char *argv[]) check final consistency and warn you about bugs. It also allows the MPS to flush buffers for debugging data, etc. It's good practise to destroy MPS objects on exit if possible rather than just quitting. */ + mps_arena_park(arena); mps_root_destroy(reg_root); mps_thread_dereg(thread); mps_ap_destroy(strong_buckets_ap); diff --git a/mps/example/scheme/scheme.c b/mps/example/scheme/scheme.c index 0400d338618..af9db7a6ef0 100644 --- a/mps/example/scheme/scheme.c +++ b/mps/example/scheme/scheme.c @@ -4453,6 +4453,7 @@ int main(int argc, char *argv[]) check final consistency and warn you about bugs. It also allows the MPS to flush buffers for debugging data, etc. It's good practise to destroy MPS objects on exit if possible rather than just quitting. */ + mps_arena_park(arena); mps_root_destroy(reg_root); mps_thread_dereg(thread); mps_ap_destroy(obj_ap);