summaryrefslogtreecommitdiffstats
path: root/parser.l
diff options
context:
space:
mode:
Diffstat (limited to 'parser.l')
-rw-r--r--parser.l4
1 files changed, 2 insertions, 2 deletions
diff --git a/parser.l b/parser.l
index 9f40dec8..991df970 100644
--- a/parser.l
+++ b/parser.l
@@ -275,8 +275,8 @@ UONLY {U2}{U}|{U3}{U}{U}|{U4}{U}{U}{U}
return COLLECT;
}
-<SPECIAL>\({WS}coll{WS}\) {
- yy_pop_state();
+<SPECIAL>\({WS}coll/{ID_END} {
+ yy_push_state(NESTED);
return COLL;
}