Add back model_thread; it is still needed

[c11tester.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 024f6ea582e12381b8a76e5c8f53972f57ba48c7..bd1b624959629d3613e76afda0b72a58e795d122 100644 (file)
--- 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));
 }
 
 /**