Edits

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 1770fd648d414ef40cd064b1179ebbae3f65d85a..c049167e52bb753e35dcb4dca11c45da821bc5cb 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -211,12 +211,6 @@ void startExecution(ucontext_t *context, VoidFuncPtr entryPoint)
        fork_startExecution(context, entryPoint);
 }
 
-/** Assumes that addr is page aligned. */
-void snapshot_add_memory_region(void *addr, unsigned int numPages)
-{
-       /* not needed for fork-based snapshotting */
-}
-
 /** Takes a snapshot of memory.
  * @return The snapshot identifier.
  */