fix case

anoma · Dec 13, 2022 · 565ac76 · 565ac76
1 parent 6850eba
commit 565ac76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/Core/positive/test046.jvc b/tests/Core/positive/test046.jvc
@@ -5,7 +5,7 @@ inductive list {
   cons : any -> list -> list;
 };
 
-def f := \l (case l of { cons x _ := x; nil := \x x } ) (let y := \x x in (let z := \x x in case l of { _ := \x x } z) y) 7;
+def f := \l (case l of { cons x _ := x; nil := \x x } ) (let y := \x x in (let z := \x x in case l of { cons _ _ := \x x } z) y) 7;
 
 def main := f (cons (\x \y x y + 2) nil);