From 30c8b39b239eb298900fa5edd84e4751367d04da Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Thu, 29 Jan 2026 14:52:36 +0100
Subject: [PATCH] test: fix broken uri test (#12230)

---
 tests/lean/Uri.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/Uri.lean b/tests/lean/Uri.lean
index 969927e75a..acb9748d7b 100644
--- a/tests/lean/Uri.lean
+++ b/tests/lean/Uri.lean
@@ -44,7 +44,7 @@ def testUnicodeEscape :=
   true
 
 def testRoundTrip :=
-  assert! (fileUriToPath? (pathToUri "/temp/test.xml?😵=2022")) == "/temp/test.xml?😵=2022"
+  assert! (fileUriToPath? (pathToUri ("" / "temp" / "test.xml?😵=2022")) == ("" / "temp" / "test.xml?😵=2022" : System.FilePath))
   true
 
 def testInvalidFileUri :=