From 4669bdf7046c03200a28de4188075bee69571eb8 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 25 Sep 2017 12:48:44 +0200
Subject: Updates Tests, fixes 2 properties & inferred/*.mod

---
 sol-pretty-printer/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sol-pretty-printer')

diff --git a/sol-pretty-printer/Makefile b/sol-pretty-printer/Makefile
index f5c6e7a..262078b 100644
--- a/sol-pretty-printer/Makefile
+++ b/sol-pretty-printer/Makefile
@@ -48,7 +48,7 @@ CLASSES = $(SOURCES:.java=.class)
 SOLUTION_FILES = $(wildcard $(SOL_DIR)/*.sol)
 PROPERTY_PP_FILES = $(wildcard $(TEMPLATE_DIR)/*.pp)
 SOLUTION_PP_PAIRS = \
-	$(foreach sf,$(SOLUTION_FILES),$(sf) $(filter %$(basename $(notdir $(sf))).pp,$(PROPERTY_PP_FILES)))
+	$(foreach sf,$(SOLUTION_FILES),$(sf) $(TEMPLATE_DIR)/$(basename $(notdir $(sf))).pp)
 
 ## Makefile Rules ##############################################################
 compile: $(CLASSES)
-- 
cgit v1.2.3-70-g09d2