X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=db597a2a0f7fa5dd8e43aa67129cfa9341cc563a;hb=8f0129627c5ba0b54b81f330abdba93bd8380fc0;hp=0d8094fcc76ad9cd63c1ee0af229a383a925cf6c;hpb=2cdfed2147ce5ec99353909b99837d82b2508ee9;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 0d8094f..db597a2 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -72,13 +72,11 @@ static void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsna
 	snapshotrecord->maxBackingPages=numbackingpages;
 	snapshotrecord->maxSnapShots=numsnapshots;
 }
-#endif //nothing to initialize for the fork based snapshotting.
 
 /** HandlePF is the page fault handler for mprotect based snapshotting
  * algorithm.
  */
 static void HandlePF( int sig, siginfo_t *si, void * unused){
-#if USE_MPROTECT_SNAPSHOT
 	if( si->si_code == SEGV_MAPERR ){
 		printf("Real Fault at %p\n", si->si_addr);
 		exit( EXIT_FAILURE );
@@ -100,8 +98,8 @@ static void HandlePF( int sig, siginfo_t *si, void * unused){
 		perror("mprotect");
 		// Handle error by quitting?
 	}
-#endif //nothing to handle for non snapshotting case.
 }
+#endif //nothing to handle for non snapshotting case.
 
 void createSharedLibrary(){
 #if !USE_MPROTECT_SNAPSHOT