fixed mismatched free/delete

diff --git a/lib/pdf/pdf.cc b/lib/pdf/pdf.cc
index 34cca1c..1d56679 100644 (file)
--- a/lib/pdf/pdf.cc
+++ b/lib/pdf/pdf.cc
@@ -484,10 +484,11 @@ void pdf_destroy(gfxsource_t*src)
     parameter_t*p = device_config;
     while(p) {
        parameter_t*next = p->next;
     parameter_t*p = device_config;
     while(p) {
        parameter_t*next = p->next;

-       p->next = 0;free(p);
+       p->next = 0;delete p;

        p = next;
     }
     delete globalParams;globalParams = 0;
        p = next;
     }
     delete globalParams;globalParams = 0;

+    free(src);

 }
 
 gfxsource_t*gfxsource_pdf_create()
 }
 
 gfxsource_t*gfxsource_pdf_create()