1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 97e42f7e..01eaa57b 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
@@ -9,7 +9,7 @@ sail:
 language:
 	$(MAKE) -C language
 
-interpreter: 
+interpreter:
 	$(MAKE) -C src interpreter
 
 archs: