From 4fd5928d58f65244856c5737786d1ecb3f534469 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 12:13:33 -0700
Subject: [PATCH] model: remove incorrect #undef

Don't 'undef' something; rename it. Anyway, this is unnecessary now, since
someone renamed the new DEBUG.
---
 model.cc | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.34.1