From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 3 Oct 2012 10:04:21 +0000 (-0700)
Subject: extra file committed accidentally
X-Git-Tag: pldi2013~111
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=853980671c72b78d59fe05245fc8f49bdf5b8b70

extra file committed accidentally
---

diff --git a/common.mk b/common.mk
index 9fe9f09..009ae63 100644
--- a/common.mk
+++ b/common.mk
@@ -8,7 +8,7 @@ UNAME = $(shell uname)
 LIB_NAME = model
 LIB_SO = lib$(LIB_NAME).so
 
-CPPFLAGS += -Wall -g -O3
+CPPFLAGS += -Wall -g -O0
 
 # Mac OSX options
 ifeq ($(UNAME), Darwin)