1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 22d51315..b84e0d22 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all sail language clean archs isabelle-lib apply_header
 
-all: sail interpreter
+all: sail
 
 sail:
 	$(MAKE) -C src