Update file_not_found.lean

nomeata · web-flow · commit 0ddc1829dc2b · 2025-12-10T12:37:41.000+01:00
diff --git a/tests/lean/file_not_found.lean b/tests/lean/file_not_found.lean
@@ -1,5 +1,5 @@
 prelude
-import Init.System.IO
+import Init.System.Files
 
 open IO.FS
 def usingIO {α} (x : IO α) : IO α := x
