diff --git a/examples/ffi/lib/lean/Ffi.lean b/examples/ffi/lib/lean/Ffi.lean
deleted file mode 100644
index 9ba9956..0000000
--- a/examples/ffi/lib/lean/Ffi.lean
+++ /dev/null
@@ -1,5 +0,0 @@
-@[extern "my_add"]
-constant myAdd : UInt32 → UInt32 → UInt32
-
-@[extern "my_lean_fun"]
-constant myLeanFun : IO PUnit