1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 18cda2236..449f5fe98 100644
--- a/Makefile
+++ b/Makefile
@@ -110,7 +110,7 @@ src/Experiments/X25519.o: src/Experiments/X25519.hs
 	( cd src/Experiments && ghc -XStrict -O3 X25519.hs )
 
 extraction: src/Experiments/Ed25519.hs src/Experiments/X25519.hs
-ghc: src/Experiments/Ed25519.core src/Experiments/Ed25519.o src/Experiments/X25519.o src/Experiments/X25519.core
+ghc: src/Experiments/Ed25519.o src/Experiments/X25519.o
 
 clean::
 	rm -f Makefile.coq