From 4925dfdb8c8198de6b37b81d5edff13e267d0451 Mon Sep 17 00:00:00 2001
From: lecopivo <skrivantomas@seznam.cz>
Date: Tue, 28 Nov 2023 16:08:39 -0500
Subject: [PATCH] fix test

---
 test/generate_ftrans.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/test/generate_ftrans.lean b/test/generate_ftrans.lean
index 47a6b2cf..c3c3cede 100644
--- a/test/generate_ftrans.lean
+++ b/test/generate_ftrans.lean
@@ -1,5 +1,4 @@
 import SciLean.Core
-import SciLean.Core.Meta.GenerateRevCDeriv'
 
 open Lean SciLean