X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/uentry.c diff --git a/src/uentry.c b/src/uentry.c index a35ff69..1d9243f 100644 --- a/src/uentry.c +++ b/src/uentry.c @@ -9489,8 +9489,7 @@ uentry_mergeEntries (uentry spec, /*@only@*/ uentry def) llassert (uentry_isFunction (spec)); } - DPRINTF (("Merge entries: %s / %s", - uentry_unparseFull (spec), + DPRINTF (("Merge entries: %s / %s", uentry_unparseFull (spec), uentry_unparseFull (def))); uentry_mergeConstraints (spec, def);