projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d425311)
model: remove incorrect #undef
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 19:13:33 +0000 (12:13 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 19:14:24 +0000 (12:14 -0700)
Don't 'undef' something; rename it. Anyway, this is unnecessary now, since
someone renamed the new DEBUG.

model.cc patch | blob | history

diff --git a/model.cc b/model.cc
index 8da05aae2be481e348b4b5b9f3de6e08384ff523..47b1b4dd666e5043129cda9e35d6cbde0727a754 100644 (file)
--- 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
C++11 memory model checker