From 7934fafd670d93ee7760ddd2fd66b5f1119896c4 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 10:15:03 +0100 Subject: [PATCH] updated makefile' --- modelchecker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.20.1