X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=cdfa37282870e6e1d1665be7cea00d856a0a2b42;hb=249a155b1ad7a7d1b53c0810cd7c85d6f99af47e;hp=c076f5449c5a2f8e70c5ae7ef48ade0733937b5c;hpb=6712d74fa36397ad2b27cea0b017148e9753eafe;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index c076f54..cdfa372 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -88,24 +88,6 @@ void snapshot_free(void *ptr)
 	free(ptr);
 }
 
-void *system_malloc(size_t size)
-{
-	static void *(*mallocp)(size_t size);
-	char *error;
-	void *ptr;
-
-	/* get address of libc malloc */
-	if (!mallocp) {
-		mallocp = (void * (*)(size_t))dlsym(RTLD_NEXT, "malloc");
-		if ((error = dlerror()) != NULL) {
-			fputs(error, stderr);
-			exit(EXIT_FAILURE);
-		}
-	}
-	ptr = mallocp(size);
-	return ptr;
-}
-
 /** Non-snapshotting free for our use. */
 void model_free(void *ptr)
 {