X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=11542bfa26af49c0b1f93c23841f6138b0354865;hb=a2b1ce7713d29dd465afc54660781aa04dc7db59;hp=9d598af7dfec11d77add4ecf02dbc845df924e00;hpb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 9d598af..11542bf 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -52,6 +52,8 @@ void MYFREE(void *ptr) {
 #endif
 }
 mspace mySpace = NULL;
+void * basemySpace = NULL;
+
 void *malloc( size_t size ) {
 	return mspace_malloc( mySpace, size );
 }
@@ -61,9 +63,17 @@ void free( void * ptr ){
 }
 
 void * operator new(size_t size) throw(std::bad_alloc) {
-	return MYMALLOC(size);
+	return malloc(size);
 }
 
 void operator delete(void *p) throw() {
-	MYFREE(p);
+	free(p);
+}
+
+void * operator new[](size_t size) throw(std::bad_alloc) {
+	return malloc(size);
+}
+
+void operator delete[](void *p, size_t size) {
+	free(p);
 }