printf -> model_print
[cdsspec-compiler.git] / threads.cc
index dc2db2d9bfefcab57458035f3f4bc815b75b5fc5..dd2a59832027557b543d8fd606f842527b270f97 100644 (file)
@@ -161,7 +161,7 @@ Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
        /* Initialize state */
        ret = create_context();
        if (ret)
-               printf("Error in create_context\n");
+               model_print("Error in create_context\n");
 
        id = model->get_next_id();
        *user_thread = id;