Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / mtDeclarationPieces.c

diff --git a/src/mtDeclarationPieces.c b/src/mtDeclarationPieces.c
index 694a0f84604da4f75597539e42625d89bdeb53d4..6f20a5e1edbcf805c08ba3f59b29045e8a8cf30e 100644 (file)
--- a/src/mtDeclarationPieces.c
+++ b/src/mtDeclarationPieces.c
@@ -87,7 +87,7 @@ mtDeclarationPieces_findPiece (mtDeclarationPieces pieces, mtPieceKind kind)
                 message ("Metastate declaration has duplicate pieces: %q / %q",
                          mtDeclarationPiece_unparse (res),
                          mtDeclarationPiece_unparse (pieces->thisPiece)),
-                g_currentloc); /*@i43 pieces's should have locs! */
+                g_currentloc);
            } 
          else 
            {