diff -r 023711891116 -r 48cffae8c9e0 src/Scanner.cpp --- a/src/Scanner.cpp Sun Aug 12 13:22:56 2012 -0700 +++ b/src/Scanner.cpp Sun Aug 12 20:48:49 2012 -0700 @@ -39,6 +39,7 @@ stream_(stream), length_(length), pushed_(false), + allowTags_(true), saved_('\0'), pos_(stream_) { @@ -425,7 +426,7 @@ return kind; } - if (c == ':') + if (c == ':' && allowTags_) return TOK_LABEL; putChar(c);