diff --git a/tests/compiler/termparsertest1.lean.expected.out b/tests/compiler/termparsertest1.lean.expected.out
index 3857bb9fb3..f643aef3df 100644
--- a/tests/compiler/termparsertest1.lean.expected.out
+++ b/tests/compiler/termparsertest1.lean.expected.out
@@ -230,7 +230,7 @@ match x with
 | none => false
 (Term.match
  "match"
- [(Term.id `x [])]
+ [[] (Term.id `x [])]
  []
  "with"
  ["|"]
@@ -246,7 +246,7 @@ match x with
 
 (Term.match
  "match"
- [(Term.id `x [])]
+ [[] (Term.id `x [])]
  []
  "with"
  ["|"]
@@ -255,7 +255,7 @@ match x with
    "=>"
    (Term.match
     "match"
-    [(Term.id `y [])]
+    [[] (Term.id `y [])]
     []
     "with"
     ["|"]