From 43cb556708d727376724eac0e67207c28d1761bf Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 3 Aug 2017 17:17:38 +0200
Subject: Fixes issues in properties, Makefiles.

---
 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 dd94b48..60ad8da 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -93,7 +93,7 @@ CLASSES = $(SOURCES:.java=.class)
 SOLUTION_FILES = $(addprefix $(SOL_DIR)/,$(notdir $(PROPERTY_FILES:.pro=.sol)))
 MODEL_FILES = \
 	$(MODEL_DIR)/structural.mod \
-	$(MODEL_DIR)/depth.mod \
+	$(MODEL_DIR)/depths.mod \
 	$(filter-out %structural.mod,$(wildcard $(MODEL_DIR)/cfg_*.mod))
 PARSER_SOURCES = $(wildcard parser/*.g4)
 PARSER_CLASSES = $(PARSER_SOURCES:.g4=.class)
-- 
cgit v1.2.3-70-g09d2