Fix import Lean linter

andrewmwells-amazon · andrewmwells-amazon · commit 4c8e8a92fa39 · 2025-12-01T16:00:41.000-06:00
diff --git a/Strata/DL/DataFlow.lean b/Strata/DL/DataFlow.lean
@@ -4,7 +4,6 @@
   SPDX-License-Identifier: Apache-2.0 OR MIT
 -/
 
-import Lean
 
 /-! ## DataFlow Interface
 
diff --git a/Strata/DL/Heap/HExpr.lean b/Strata/DL/Heap/HExpr.lean
@@ -9,7 +9,6 @@ import Strata.DL.Lambda.LExpr
 import Strata.DL.Lambda.LTy
 import Strata.DL.Lambda.Identifiers
 import Strata.DL.Lambda.MetaData
-import Lean
 
 ---------------------------------------------------------------------
 
diff --git a/Strata/DL/Heap/HState.lean b/Strata/DL/Heap/HState.lean
@@ -10,7 +10,6 @@ import Strata.DL.Lambda.LState
 import Strata.DL.Lambda.LTy
 import Strata.DL.Lambda.IntBoolFactory
 import Std.Data.HashMap
-import Lean
 
 ---------------------------------------------------------------------
 
diff --git a/Strata/DL/Heap/HTy.lean b/Strata/DL/Heap/HTy.lean
@@ -9,7 +9,6 @@ Your Name <your.email@example.com>
 -/
 
 import Strata.DL.Lambda.LTy
-import Lean
 
 ---------------------------------------------------------------------
 
