From 69d904f3b2de5b914bc329af1729584f10644bf2 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 1 Aug 2017 16:26:48 +0200
Subject: Starting a pretty-printer for the solutions.

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

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 5d81814..9823919 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -8,8 +8,7 @@ MODEL_FILES = \
 MAP_FILES = $(wildcard ../ast-to-instr/*.map)
 LEVEL_DIR = $(wildcard ../data/level/*.lvl)
 
-PROPERTIES = \
-	../data/property/cnes/CNE_01700.pro
+PROPERTIES = $(wildcard ../data/property/cnes/*.pro)
 
 ## Executables #################################################################
 JAVAC = javac
-- 
cgit v1.2.3-70-g09d2