diff --git a/test/basic_gradients.lean b/test/basic_gradients.lean
index 458d44d5..622d22c1 100644
--- 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