X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=bd1b624959629d3613e76afda0b72a58e795d122;hb=refs%2Fheads%2Fvagrant;hp=024f6ea582e12381b8a76e5c8f53972f57ba48c7;hpb=448991da4be411c39be8ce3a56615a8eae2811d3;p=c11tester.git

diff --git a/threads.cc b/threads.cc
index 024f6ea5..bd1b6249 100644
--- a/threads.cc
+++ b/threads.cc
@@ -419,7 +419,9 @@ Thread::Thread(thread_id_t tid) :
 	last_action_val(0),
 	model_thread(true)
 {
-	real_memset(&context, 0, sizeof(context));
+	// real_memset is not defined when
+	// the model thread is constructed
+	memset(&context, 0, sizeof(context));
 }
 
 /**