diff --git a/cli-impl/src/test/java/org/aya/test/fixtures/PatTyckError.java b/cli-impl/src/test/java/org/aya/test/fixtures/PatTyckError.java
index 545a91b7a3..0e4fc6c790 100644
--- a/cli-impl/src/test/java/org/aya/test/fixtures/PatTyckError.java
+++ b/cli-impl/src/test/java/org/aya/test/fixtures/PatTyckError.java
@@ -76,7 +76,7 @@ def test (a : Type) : Type
     """;
 
   @Language("Aya") String testNoPattern = """
-    open import Paths
+    open import Paths hiding (funExt)
     
     variable A B : Type
     def funExt (f g : A -> B) (p : forall a -> f a = g a) : f = g