diff --git a/tests/lean/run/termParserAttr.lean b/tests/lean/run/termParserAttr.lean
index ae030c7911..0fb5ecfd02 100644
--- a/tests/lean/run/termParserAttr.lean
+++ b/tests/lean/run/termParserAttr.lean
@@ -16,7 +16,7 @@ open Lean.Parser
 @[termParser] def tst := parser! "(|" >> termParser >> optional (symbol ", " >> termParser) >> "|)"
 
 @[termParser] def boo : ParserDescr :=
-ParserDescr.node `boo
+ParserDescr.node `boo 10
   (ParserDescr.andthen
     (ParserDescr.symbol "[|")
     (ParserDescr.andthen