fix imports

lecopivo · May 17, 2024 · 204e555 · 204e555
1 parent 5e6da43
commit 204e555
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/SciLean/Core.lean b/SciLean/Core.lean
@@ -19,6 +19,7 @@ import SciLean.Core.Functions.Exp
 import SciLean.Core.Functions.Trigonometric
 import SciLean.Core.Functions.Pow
 
+import SciLean.Core.Integral.Common
 
 import SciLean.Tactic.InferVar
 import SciLean.Tactic.RefinedSimp

diff --git a/SciLean/Core/Integral/PlaneDecomposition.lean b/SciLean/Core/Integral/PlaneDecomposition.lean
@@ -1,5 +1,8 @@
-import SciLean.Core
+import SciLean.Data.DataArray
+import SciLean.Core.FunctionTransformations
+import SciLean.Core.FunctionPropositions
 import SciLean.Core.Integral.ParametricInverse
+import SciLean.Core.Notation
 import SciLean.Tactic.InferVar
 
 namespace SciLean