X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7b8f57160729366ce0a8561e452ac276880d7469..b941db6b4a970ba02fb88f587cf4e40b10c9e286:/src/osd.c

diff --git a/src/osd.c b/src/osd.c
index 3716f30..24dcbf4 100644
--- a/src/osd.c
+++ b/src/osd.c
@@ -1133,7 +1133,7 @@ cstring osd_outputPath (cstring filename)
         {
           /* Give up if the result gets to be longer
              than the absolute path name.  */
-          /*@i423@*/ if (rel_buffer + filename_len <= rel_buf_p + 3)
+          if (rel_buffer + filename_len <= rel_buf_p + 3)
 	    {
 	      sfree (rel_buffer);
 	      return cstring_copy (filename);