From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 19:13:33 +0000 (-0700)
Subject: model: remove incorrect #undef
X-Git-Tag: pldi2013~403
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4fd5928d58f65244856c5737786d1ecb3f534469;p=model-checker.git

model: remove incorrect #undef

Don't 'undef' something; rename it. Anyway, this is unnecessary now, since
someone renamed the new DEBUG.
---

diff --git a/model.cc b/model.cc
index 8da05aa..47b1b4d 100644
--- a/model.cc
+++ b/model.cc
@@ -5,7 +5,6 @@
 #include "nodestack.h"
 #include "schedule.h"
 #include "snapshot-interface.h"
-#undef DEBUG
 #include "common.h"
 
 #define INITIAL_THREAD_ID	0