- library fixes:

[splint.git] / src / qtype.c

diff --git a/src/qtype.c b/src/qtype.c
index 389f0dc1b0b20505c9d60fb1b89b3df617bd0258..19df7734c5cba921ed0bf78cb3bbf25f3397ee12 100644 (file)
--- a/src/qtype.c
+++ b/src/qtype.c
@@ -210,12 +210,15 @@ qtype qtype_newQbase (qtype q1, qtype q2)
   return q1;
 }
 
-void qtype_adjustPointers (int n, qtype q)
+void qtype_adjustPointers (pointers n, qtype q)
 {
   if (qtype_isDefined (q))
     {
+      DPRINTF (("Pointers: %s %s", pointers_unparse (n), qtype_unparse (q)));
       q->type = ctype_adjustPointers (n, q->type);
     }
+
+  pointers_free (n);
 }
 
 # ifndef NOLCL