mymemory: kill system_free()

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 54885ca12deb46a50eba387a66edc58fba52b5ea..5cb06a4f834e72a1be7f578c0e41c76d70f06aad 100644 (file)
--- 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