- library fixes:

[splint.git] / src / ctype.c

diff --git a/src/ctype.c b/src/ctype.c
index d246bf763fa419ea8f064924986492f371f74466..7fc16c481bef2841d0c72adcb6db297c3b9fac9f 100644 (file)
--- a/src/ctype.c
+++ b/src/ctype.c
@@ -1998,13 +1998,14 @@ ctype_getBaseType (ctype c)
 }
 
 ctype
-ctype_adjustPointers (int np, ctype c)
+ctype_adjustPointers (pointers p, ctype c)
 {
-  
+  int np = pointers_depth (p);
+
   if (ctype_isFunction (c))
     {
       c = ctype_makeParamsFunction
-        (ctype_adjustPointers (np, ctype_getReturnType (c)),
+        (ctype_adjustPointers (p, ctype_getReturnType (c)),
         uentryList_copy (ctype_argsFunction (c)));
     }
   else