X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=snapshot.cc;h=c049167e52bb753e35dcb4dca11c45da821bc5cb;hp=1770fd648d414ef40cd064b1179ebbae3f65d85a;hb=7f915e454133a61fb045e04ae3933945f7bbce68;hpb=654801e1e81273424eaafce605bdeb882f3933d9

diff --git a/snapshot.cc b/snapshot.cc
index 1770fd64..c049167e 100644
--- 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.
  */