towards not calling system malloc

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index b4bbb70e926bfdba2610509f4cdfc8265b137e1d..5ef9651cc42b3f13ffb16b124797cbf47cfe2fdf 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -42,7 +42,7 @@ ModelChecker::ModelChecker() :
        inspect_plugin(NULL)
 {
        memset(&stats,0,sizeof(struct execution_stats));
-       init_thread = new Thread(execution->get_next_id(), (thrd_t *) malloc(sizeof(thrd_t)), &user_main_wrapper, NULL, NULL);  // L: user_main_wrapper passes the user program
+       init_thread = new Thread(execution->get_next_id(), (thrd_t *) model_malloc(sizeof(thrd_t)), &user_main_wrapper, NULL, NULL);    // L: user_main_wrapper passes the user program
        execution->add_thread(init_thread);
        scheduler->set_current_thread(init_thread);
        execution->setParams(&params);