diff --git a/tests/Core/positive/test046.jvc b/tests/Core/positive/test046.jvc
index 3d69e20a31..ef40570253 100644
--- 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);