Fixed /*@i@*/ warning in splintme

[splint.git] / src / cppexp.c

diff --git a/src/cppexp.c b/src/cppexp.c
index 3c97c988fcb878dc9fa7090396a307e8568f8087..8182205af963c9a4898e8c5daa4c6c8456d15e29 100644 (file)
--- a/src/cppexp.c
+++ b/src/cppexp.c
@@ -276,11 +276,6 @@ cppReader_parseNumber (cppReader *pfile, char *start, int olen) /*@requires maxR
     }
   else if (*p == '0')
     {
-      /*@i3434*/
-      /* drl: see if there is a reason that we shouldn't do
-       p++;
-       len--; */
-      
       base = 8;
     }
   else