From 99bbe050e57c50c5c21b849c1721fe9979894d8f Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 30 Aug 2017 15:15:02 +0200
Subject: Reduces the scalability issue.

It seems to take very long to find solutions for
simple_flip_flop_instance, but at least it no longer gives up right
away.
---
 instr-to-kodkod/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 8543ee4..1a36fae 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -96,8 +96,7 @@ MODEL_FILES = \
 	$(MODEL_DIR)/depths.mod \
 	$(MODEL_DIR)/string_to_instr.map \
 	$(wildcard $(MODEL_DIR)/cfg_*.mod) \
-	$(MODEL_INSTANCES_DIR)/instances.mod \
-	$(wildcard $(MODEL_INSTANCESDIR)/instances_in_*.mod)
+	$(wildcard $(MODEL_INSTANCES_DIR)/*.mod)
 PARSER_SOURCES = $(wildcard parser/*.g4)
 PARSER_CLASSES = $(PARSER_SOURCES:.g4=.class)
 
-- 
cgit v1.2.3-70-g09d2