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