X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=36055107c696b85003702159646450bbe0db3e04;hb=92661595546bc783908d3795fd53265988565e02;hp=b0931f757e860a778c46e347dde08f87e978abe0;hpb=3f376daab54b640efb30700f83bc3ab1cfb88848;p=c11tester.git

diff --git a/main.cc b/main.cc
index b0931f75..36055107 100644
--- a/main.cc
+++ b/main.cc
@@ -114,7 +114,7 @@ void parse_options(struct model_params *params) {
 	}
 	argc++;	//first parameter is executable name
 	char optcpy[index + 1];
-	memcpy(optcpy, options, index+1);
+	real_memcpy(optcpy, options, index+1);
 	char * argv[argc + 1];
 	argv[0] = NULL;
 	argv[1] = optcpy;