From b16812434d54a9d7480564cbf4f299168ca6a1a1 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 3 Aug 2017 16:02:19 +0200
Subject: The Makefile of instr-to-kodkod's parser is done.

---
 instr-to-kodkod/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'instr-to-kodkod/Makefile')

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 815c527..45c752a 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -101,7 +101,7 @@ run: cfg-generator parser $(SOLUTION_FILES)
 cfg-generator:
 	$(MAKE) -C cfg-to-paths
 
-parser: antlr-4.7-complete.jar
+parser: antlr-4.7-complete.jar kodkod.jar
 	$(MAKE) -C parser
 
 clean:
-- 
cgit v1.2.3-70-g09d2