Fixed problem with shadow parameters.

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 3b2befb68a38588f7f61c0901d8976ca2f9a939a..ef3f46456447b9b611fc5b9c1efd55fd5d084a52 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -411,6 +411,7 @@ L'(\\.|[^\\'])+'       { cscannerHelp_setTokLengthT (mstring_length (yytext));
 "@.Z"           { cscannerHelp_setTokLength (3); usymtab_printComplete (); }
 "@.T"           { cscannerHelp_setTokLength (3); usymtab_printTypes (); }
 "@.K"           { cscannerHelp_setTokLength (3); lldiagmsg (usymtab_unparseStack ()); }
+"@.R"           { cscannerHelp_setTokLength (3); return cscannerHelp_returnToken (QDREVEALSTATE); }
 "@.M"           { cscannerHelp_setTokLength (3); 
                  lldiagmsg (message ("Can modify: %q", 
                                  sRefSet_unparse (context_modList ())));