From 688d3be723b19655edcd1fc1de413b54630d4589 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 28 Aug 2017 15:25:39 +0200
Subject: Small changes? Forgot to commit.

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

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

diff --git a/instr-to-kodkod/cfg-to-paths/Makefile b/instr-to-kodkod/cfg-to-paths/Makefile
index 1f6d6e2..49c1e83 100644
--- a/instr-to-kodkod/cfg-to-paths/Makefile
+++ b/instr-to-kodkod/cfg-to-paths/Makefile
@@ -26,7 +26,7 @@ $(error No MODEL_DIR defined as parameter.)
 endif
 
 ifeq ($(strip $(PATH_MODEL_DIR)),)
-$(error No CFG_MODEL_DIR defined as parameter.)
+$(error No PATH_MODEL_DIR defined as parameter.)
 endif
 
 ifeq ($(strip $(JAVA)),)
-- 
cgit v1.2.3-70-g09d2