src/Scanner.cpp
changeset 172 48cffae8c9e0
parent 171 023711891116
child 174 e718b56aba78
     1.1 --- a/src/Scanner.cpp	Sun Aug 12 13:22:56 2012 -0700
     1.2 +++ b/src/Scanner.cpp	Sun Aug 12 20:48:49 2012 -0700
     1.3 @@ -39,6 +39,7 @@
     1.4      stream_(stream),
     1.5      length_(length),
     1.6      pushed_(false),
     1.7 +    allowTags_(true),
     1.8      saved_('\0'),
     1.9      pos_(stream_)
    1.10  {
    1.11 @@ -425,7 +426,7 @@
    1.12          return kind;
    1.13      }
    1.14  
    1.15 -    if (c == ':')
    1.16 +    if (c == ':' && allowTags_)
    1.17          return TOK_LABEL;
    1.18  
    1.19      putChar(c);