From 76564b1e9e07a03486232e763fe702ead047ee8e Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Thu, 22 Jan 2026 18:06:05 +0100
Subject: [PATCH] Typed scheme test conflicts with untyped scheme on case
 insensitive systems

---
 test/typed/{Scheme.agda => SchemeTyped.agda} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename test/typed/{Scheme.agda => SchemeTyped.agda} (98%)

diff --git a/test/typed/Scheme.agda b/test/typed/SchemeTyped.agda
similarity index 98%
rename from test/typed/Scheme.agda
rename to test/typed/SchemeTyped.agda
index 0d6ae14..82333ed 100644
--- a/test/typed/Scheme.agda
+++ b/test/typed/SchemeTyped.agda
@@ -1,5 +1,5 @@
 -- compilation of λ□ type schemes
-module Scheme where
+module SchemeTyped where
 
 open import Agda.Builtin.List
 open import Agda.Builtin.Nat