X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=5cb06a4f834e72a1be7f578c0e41c76d70f06aad;hb=6f66bffd0b774c219883d634586a4565c9e59af5;hp=54885ca12deb46a50eba387a66edc58fba52b5ea;hpb=5f85e1b11c1578a4b6fb64c18285d1d627d732df;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 54885ca..5cb06a4 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -103,21 +103,6 @@ void *system_malloc( size_t size ){
 	return ptr;
 }
 
-void system_free( void * ptr ){
-	static void (*freep)(void *);
-	char *error;
-
-	/* get address of libc free */
-	if (!freep) {
-		freep = ( void  ( * )( void * ) )dlsym(RTLD_NEXT, "free");
-		if ((error = dlerror()) != NULL) {
-			fputs(error, stderr);
-			exit(EXIT_FAILURE);
-		}
-	}
-	freep(ptr);
-}
-
 /** Non-snapshotting free for our use. */
 void model_free(void *ptr) {
 #if USE_MPROTECT_SNAPSHOT