X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a193690925d356f36267797637c7bc847ab9b8b0..517a2db3da924ba77ae313404da5e12fda798947:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 711b32b..ce029e8 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -2499,7 +2499,7 @@ uentry_reflectOtherQualifier (/*@notnull@*/ uentry ue, qual qel)
 			uentry_unparse (ue)),
 	       uentry_whereLast (ue)))
 	    {
-	      /*@i! annotationInfo_showContextError (ainfo, ue); */
+	      /* annotationInfo_showContextError (ainfo, ue); */
 	    }
 	}
     }
@@ -10380,10 +10380,7 @@ uentry_mergeValueStates (/*@notnull@*/ uentry res, /*@notnull@*/ uentry other,
       ** Copy values from other
       */
       
-      /*@i$@#@*/
-      DPRINTF (("Has value table: %s", sRef_unparseFull (other->sref)));
-      DPRINTF (("No value table: %s", sRef_unparseFull (res->sref)));
-      ;
+      /* ??? */
     }
   else
     {