| 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);