*** empty log message ***

[splint.git] / src / cpplib.c

diff --git a/src/cpplib.c b/src/cpplib.c
index 7f5bd9a3cb90e174baddc6a2272031584d9d73a3..e4d0f129b1b4aecd84abddb9661edc6647c29307 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -6879,7 +6879,6 @@ static void cpp_setLocation (cppReader *pfile)
       line = cppReader_getBuffer (pfile)->lineno;
       fileloc_free (g_currentloc);
 
-      /*@adsfads;lgkh@*/
       if (fileId_isValid (fid))
        {
          g_currentloc = fileloc_create (fid, line, 1);