From 9c4714aa055027fbdbb422f69a06f93d85e4852f Mon Sep 17 00:00:00 2001
From: lecopivo <skrivantomas@seznam.cz>
Date: Mon, 27 Nov 2023 06:19:32 +0100
Subject: [PATCH] fix test

---
 test/basic_gradients.lean | 2 --
 1 file changed, 2 deletions(-)

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