From: bdemsky <bdemsky@uci.edu>
Date: Wed, 14 Jun 2017 21:54:45 +0000 (-0700)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=91846c467bab7e83607b090dc741fd48166e26fd;p=satune.git

edits
---

diff --git a/src/mymemory.h b/src/mymemory.h
index d07a37d..0ce450d 100644
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -34,8 +34,8 @@
 	void operator delete[](void *p, size_t size) { \
 		model_free(p); \
 	} \
-	void * operator new(size_t size, void *p) {																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																																										/* placement new */ \
-		return p; \
+	void * operator new(size_t size, void *p) { 	\
+return p;																				\
 	}
 
 void *model_malloc(size_t size);