fix test imports

lecopivo · Oct 2, 2023 · 9765a33 · 9765a33
1 parent a6b4787
commit 9765a33
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/test/basic_gradients.lean b/test/basic_gradients.lean
@@ -1,5 +1,4 @@
 import SciLean
-import SciLean.Util.Profile
 import SciLean.Tactic.LetNormalize
 import SciLean.Util.RewriteBy
 

diff --git a/test/basic_revCDeriv.lean b/test/basic_revCDeriv.lean
@@ -1,5 +1,4 @@
 import SciLean
-import SciLean.Util.Profile
 import SciLean.Tactic.LetNormalize
 import SciLean.Util.RewriteBy