X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=stl-model.h;h=53e412061d2178fc3f839882fa883400c57b4944;hb=92661595546bc783908d3795fd53265988565e02;hp=611520fc70515fa745239df32b4248d1db8068d6;hpb=3f376daab54b640efb30700f83bc3ab1cfb88848;p=c11tester.git

diff --git a/stl-model.h b/stl-model.h
index 611520fc..53e41206 100644
--- a/stl-model.h
+++ b/stl-model.h
@@ -369,7 +369,7 @@ public:
 		_size(_capacity),
 		capacity(_capacity),
 		array((type *) model_malloc(sizeof(type) * _capacity)) {
-		memcpy(array, _array, capacity * sizeof(type));
+		real_memcpy(array, _array, capacity * sizeof(type));
 	}
 	void pop_back() {
 		_size--;
@@ -474,7 +474,7 @@ public:
 		_size(_capacity),
 		capacity(_capacity),
 		array((type *) snapshot_malloc(sizeof(type) * _capacity)) {
-		memcpy(array, _array, capacity * sizeof(type));
+		real_memcpy(array, _array, capacity * sizeof(type));
 	}
 	void pop_back() {
 		_size--;