From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 17:55:28 +0000 (-0700)
Subject: snapshot: move local defines after #includes
X-Git-Tag: pldi2013~411
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6ec40350feecd12fe123b19a5ead7740f1c21bac;p=model-checker.git

snapshot: move local defines after #includes

Prevents accidental dependencies, where a header *might* use PAGESIZE, e.g.
---

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 10bd809..9d6ad7f 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -1,9 +1,3 @@
-#define MYBINARYNAME "model"
-#define MYLIBRARYNAME "libmodel.so"
-#define MYALLOCNAME  "libmymemory.so"
-#define PROCNAME      "/proc/*/maps"
-#define REPLACEPOS		6
-#define PAGESIZE 4096
 #include "snapshot-interface.h"
 #include <iostream>
 #include <fstream>
@@ -13,6 +7,13 @@
 #include <cstring>
 #include <cassert>
 
+#define MYBINARYNAME "model"
+#define MYLIBRARYNAME "libmodel.so"
+#define MYALLOCNAME  "libmymemory.so"
+#define PROCNAME      "/proc/*/maps"
+#define REPLACEPOS		6
+#define PAGESIZE 4096
+
 snapshotStack * snapshotObject;
 
 /*This looks like it might leak memory...  Subramanian should fix this. */