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

diff --git a/src/transferChecks.c b/src/transferChecks.c
index d77e7c3..fe12682 100644
--- a/src/transferChecks.c
+++ b/src/transferChecks.c
@@ -4017,7 +4017,6 @@ checkMetaStateConsistent (/*@exposed@*/ sRef fref, sRef tref,
 	  }
 	else
 	  {
-	    /*@i#!@!!@*/
 	    DPRINTF (("Cannot find meta state for: %s / to: %s / %s", sRef_unparseFull (fref),
 		      sRef_unparseFull (tref),
 		      fkey));
@@ -4176,7 +4175,6 @@ checkMetaStateTransfer (exprNode fexp, sRef fref, exprNode texp, sRef tref,
 	  }
 	else
 	  {
-	    /*@i#!@!!@*/
 	    DPRINTF (("Metastate transfer: %s => %s",
 		      exprNode_unparse (fexp), exprNode_unparse (texp)));
 	    DPRINTF (("Cannot find meta state for: %s / to: %s / %s", sRef_unparseFull (fref),