fix core

Author: Kha

src/lake/Lake/Config/Pattern.lean

@@ -8,6 +8,8 @@ module
 prelude
 public import Init.Data.Array.Basic
 public import Init.System.FilePath
+public import Std.Data.TreeMap.Basic
+public import Lean.Data.Name
 import Lake.Util.Name
 
 open System Lean