X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;fp=threads.cc;h=024f6ea582e12381b8a76e5c8f53972f57ba48c7;hb=448991da4be411c39be8ce3a56615a8eae2811d3;hp=faa49fc5707454bb105b384d1f4482bd418fb711;hpb=92661595546bc783908d3795fd53265988565e02;p=c11tester.git

diff --git a/threads.cc b/threads.cc
index faa49fc5..024f6ea5 100644
--- a/threads.cc
+++ b/threads.cc
@@ -419,7 +419,7 @@ Thread::Thread(thread_id_t tid) :
 	last_action_val(0),
 	model_thread(true)
 {
-	memset(&context, 0, sizeof(context));
+	real_memset(&context, 0, sizeof(context));
 }
 
 /**