From 69fd2187cf4a09bb0954d481c6ce8fb3b5863ab8 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 11 Dec 2017 20:40:13 +0000
Subject: Allow stepping through code when evaluating

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3