From: bpringlemeir <bpringlemeir>
Date: Sat, 5 Sep 2009 23:06:06 +0000 (+0000)
Subject: Fix DPRINTF bit rot.
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/028c825ee51c6cbb10546fae3ee3953f872f5fca

Fix DPRINTF bit rot.
---

diff --git a/src/uentry.c b/src/uentry.c
index 7de5a8f..6f6c090 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -3077,7 +3077,7 @@ uentry_isSpecialFunction (uentry ue)
   uentry ue = uentry_makeVariableSrefParam (idDecl_observeId (t), ct, loc, pref);
 
   DPRINTF (("Make param: %s", uentry_unparseFull (ue)));
-  DPRINTF (("Base: %s [%d]", ctype_unparse (base), ctype_isFixedArray (base)));
+  DPRINTF (("Base: %s [%d]", ctype_unparse (ct), ctype_isFixedArray (ct)));
   uentry_reflectQualifiers (ue, idDecl_getQuals (t));
   uentry_implicitParamAnnots (ue);