*** empty log message ***

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index ad3c04c5a250d29374a99a30cbda3b5ca3ac1daa..8909530d6ab62ca27457e3e2af3219a322ef18c6 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -362,6 +362,8 @@ L\"(\\.|[^\\"])*\"([ \t\n]*\"(\\.|[^\\"])*\")* { RETURN_EXPR (processString ());
                         RETURN_INT (ctype_ullint, processDec ()); } 
 '(\\.|[^\\'])+'               { setTokLengthT (mstring_length (yytext)); 
                          RETURN_CHAR (processChar ()); }
+L'(\\.|[^\\'])+'       { setTokLengthT (mstring_length (yytext)); 
+                         RETURN_CHAR (processChar ()); }
 {Digit}+{E}[fF]        { setTokLengthT (mstring_length (yytext)); 
                         RETURN_FLOAT (ctype_float, processFloat ()); }
 {Digit}+{E}[lL]        { setTokLengthT (mstring_length (yytext));