Fixed problem with resetting null state after error for constants.

[splint.git] / src / osd.c

diff --git a/src/osd.c b/src/osd.c
index 16f020dd881cfc357d98e0d551c4358185badea9..9af9d100282934657127474b9e1e402408e2e3fb 100644 (file)
--- a/src/osd.c
+++ b/src/osd.c
@@ -1041,7 +1041,7 @@ cstring osd_outputPath (cstring filename)
   int unmatched_slash_count = 0;
   size_t filename_len = cstring_length (filename);
   
-  llassertretval (filename_len > 0, /*@-type@*/ filename /*@=type@*/);
+  llassertretval (filename_len > 0, filename);
 
   /*@access cstring@*/
   path_p = filename;