From 8f12413895954e5feed9ea915825d462f0457fe4 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 11:34:59 +0200
Subject: No longer add function and literals as waveforms.

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

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

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index dd80198..7aa3a82 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -1,5 +1,6 @@
 ## Target(s) Configuration #####################################################
-MODEL_FILES = $(wildcard ../data/instructions/*.mod)
+#MODEL_FILES = $(wildcard ../data/instructions/*.mod)
+MODEL_FILES = $(wildcard ../instr-scripts/*.mod)
 LEVEL_DIR = $(wildcard ../data/level/*.lvl)
 PROPERTY_FILE = ../data/property/unread_waveforms.pro
 VAR_PREFIX = "_anon_"
-- 
cgit v1.2.3-70-g09d2