Fixed -help <mode> bug.

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 625126dbbd016d7762ea326e106f488a3216ffc2..ef3f46456447b9b611fc5b9c1efd55fd5d084a52 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -85,7 +85,7 @@ ULSuffix                ({U}{L}|{L}{U})
 # include "cscannerHelp.h"
 # include "cgrammar.h"
 # include "cgrammar_tokens.h"
-# include "portab.h"
+# include "osd.h"
 
 /*@notfunction@*/
 # define yyinput() (incColumn (), getc (yyin))
@@ -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 ())));