remove EOL spaces, fix indentation
[model-checker.git] / mymemory.cc
index 88018e269093c531a67bde16d27de8a95d6d6305..f3464fc6bff4927e6f1b36d5678b062a1b87519b 100644 (file)
@@ -20,7 +20,7 @@ void *MYMALLOC(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");
@@ -29,7 +29,7 @@ void *MYMALLOC(size_t size) {
                        exit(EXIT_FAILURE);
                }
        }
-       ptr = mallocp(size);     
+       ptr = mallocp(size);
        return ptr;
 #else
        if( !sTheRecord ){