X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=f3464fc6bff4927e6f1b36d5678b062a1b87519b;hb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298;hp=88018e269093c531a67bde16d27de8a95d6d6305;hpb=42e6cb1c90b72167be32e0201558019d47faa7f2;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 88018e2..f3464fc 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -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 ){