X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/60eced233d971637672dfbb2ab994f0f86db9c9e..acfb6ad9a989e335242f8ea98940827e213228b4:/src/flagMarkerList.c

diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c
index 803a154..1689975 100644
--- a/src/flagMarkerList.c
+++ b/src/flagMarkerList.c
@@ -215,11 +215,13 @@ void flagMarkerList_checkSuppressCounts (flagMarkerList s)
   fileloc loc = fileloc_undefined;
   bool inCount = FALSE;
   int i;
-
   
   for (i = 0; i < s->nelements; i++)
     {
       flagMarker current = s->elements[i];
+      DPRINTF (("flagMarker: %s / %s",
+		flagMarker_unparse (current),
+		bool_unparse (inCount)));
 
       if (flagMarker_isIgnoreCount (current))
 	{
@@ -228,7 +230,7 @@ void flagMarkerList_checkSuppressCounts (flagMarkerList s)
 	  nexpected = flagMarker_getCount (current);
 	  loc = flagMarker_getLoc (current);
 	  nsuppressed = 0;
-	  	}
+	}
       else if (flagMarker_isIgnoreOff (current))
 	{
 	  if (inCount)