fix test

lecopivo · Nov 27, 2023 · 9c4714a · 9c4714a
1 parent b80741e
commit 9c4714a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/test/basic_gradients.lean b/test/basic_gradients.lean
@@ -2,8 +2,6 @@ import SciLean
 import SciLean.Tactic.LetNormalize
 import SciLean.Util.RewriteBy
 
-import SciLean.Core.Simp.Sum
-
 open SciLean
 
 variable