From: Brian Norris <banorris@uci.edu>
Date: Tue, 29 May 2012 20:22:09 +0000 (-0700)
Subject: snapshot-interface: don't redefine PAGESIZE
X-Git-Tag: pldi2013~392^2~3
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f9b998d127c712576b132fa300cb9ad43385909a;p=model-checker.git

snapshot-interface: don't redefine PAGESIZE
---

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 1bf12a2..2ef7e4b 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -1,4 +1,5 @@
 #include "snapshot-interface.h"
+#include "snapshot.h"
 #include <iostream>
 #include <fstream>
 #include <unistd.h>
@@ -14,7 +15,6 @@
 #define MYLIBRARYNAME "libmodel.so"
 #define PROCNAME      "/proc/*/maps"
 #define REPLACEPOS		6
-#define PAGESIZE 4096
 
 typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;