From 753e3967059211130787dbae8a037a3bdab68844 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 14 Jan 2022 18:59:58 +0100
Subject: [PATCH] fix: recurse in findAllWithExt

---
 src/Lean/Util/Path.lean | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Lean/Util/Path.lean b/src/Lean/Util/Path.lean
index 2df07761dd..f4eafdf560 100644
--- a/src/Lean/Util/Path.lean
+++ b/src/Lean/Util/Path.lean
@@ -41,9 +41,7 @@ def findAllWithExt (sp : SearchPath) (ext : String) : IO (Array FilePath) := do
   let mut paths := #[]
   for p in sp do
     if (← p.isDir) then
-      for e in (← p.readDir) do
-        if e.fileName.endsWith s!".{ext}" then
-          paths := paths.push e.path
+      paths := paths ++ (← p.walkDir).filter (·.extension == some ext)
   paths
 
 end SearchPath