test: simple fix

aya-prover · May 28, 2024 · d9d6db0 · d9d6db0
1 parent c919497
commit d9d6db0
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -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