changed PLUS to BINARYOP_PLUS

[splint.git] / src / flagMarkerList.c

diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c
index 803a1547d5756efd4fc1cf210bfb91d2ad8ed2bc..16899756e215681681cb2272794cbebdca530e27 100644 (file)
--- 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)