X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=3666667e1fa2886da1d0684c96bfd873b7f5c40e;hb=0379b580594f96b81ca34ea9a821df3fc17f6ea0;hp=0362994daf50354d6a34991ab07294fed4fc19ce;hpb=a2b1ce7713d29dd465afc54660781aa04dc7db59;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 0362994..3666667 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -76,13 +76,13 @@ void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots,
 void HandlePF( int sig, siginfo_t *si, void * unused){
 #if USE_CHECKPOINTING
 	if( si->si_code == SEGV_MAPERR ){
-		printf("Real Fault at %llx\n", ( long long )si->si_addr);
+		printf("Real Fault at %p\n", si->si_addr);
 		exit( EXIT_FAILURE );
 	}
 	void* addr = ReturnPageAlignedAddress(si->si_addr);
 	unsigned int backingpage=snapshotrecord->lastBackingPage++; //Could run out of pages...
 	if (backingpage==snapshotrecord->maxBackingPages) {
-		printf("Out of backing pages at %llx\n", ( long long )si->si_addr);
+		printf("Out of backing pages at %p\n", si->si_addr);
 		exit( EXIT_FAILURE );
 	}