summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pcl/pl/plmain.c3
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