1 files changed, 4 insertions, 0 deletions
diff --git a/parser.l b/parser.l
index 701e3442..49d3974e 100644
--- a/parser.l
+++ b/parser.l
@@ -601,6 +601,10 @@ NJPUNC  [^(){},:\[\]"~*^ \t\r\n]
   return directive_tok(yyg, REPEAT, NESTED);
 }
 
+<SPECIAL>\({WS}({NT0}?:)?push/{ID_END}  {
+  return directive_tok(yyg, PUSH, NESTED);
+}
+
 <SPECIAL>\({WS}({NT0}?:)?rep/{ID_END} {
   return directive_tok(yyg, REP, NESTED);
 }