#include <string.h>
-#include "libthreads.h"
+#include <threads.h>
#include "common.h"
#include "threads-model.h"
/* 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;