From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 09:15:03 +0000 (+0100)
Subject: updated makefile'
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7934fafd670d93ee7760ddd2fd66b5f1119896c4;p=mc1516pa.git

updated makefile'
---

diff --git a/modelchecker/Makefile b/modelchecker/Makefile
index 6bd0041..1bdebb8 100644
--- a/modelchecker/Makefile
+++ b/modelchecker/Makefile
@@ -1,6 +1,6 @@
 PROGRAM:=main
 CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \
-	-I./sylvan/src -I./sylvan/examples/.
+	-I./sylvan/src# -I./sylvan/examples/.
 
 all: $(PROGRAM)