diff options
-rw-r--r-- | pcl/pl/plmain.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pcl/pl/plmain.c b/pcl/pl/plmain.c index 8aa9eab60..d2ee0fe9b 100644 --- a/pcl/pl/plmain.c +++ b/pcl/pl/plmain.c | |||
@@ -433,6 +433,9 @@ pl_main_delete_instance(pl_main_instance_t *minst) | |||
433 | minst->device = NULL; | 433 | minst->device = NULL; |
434 | } | 434 | } |
435 | 435 | ||
436 | gs_free_object(mem, minst, "pl_main_instance"); | ||
437 | mem->gs_lib_ctx->top_of_system = NULL; | ||
438 | |||
436 | #ifdef PL_LEAK_CHECK | 439 | #ifdef PL_LEAK_CHECK |
437 | gs_memory_chunk_dump_memory(mem); | 440 | gs_memory_chunk_dump_memory(mem); |
438 | #endif | 441 | #endif |