redo model object initialization

[c11tester.git] / include / mypthread.h

diff --git a/include/mypthread.h b/include/mypthread.h
index ad92d24d833a9c438e45ec65cec3ef11b9abf60c..c55ce485f7e57ad8f13830f2e6d2ad99d5ff65ea 100644 (file)
--- a/include/mypthread.h
+++ b/include/mypthread.h
@@ -7,7 +7,6 @@
 
 #include <threads.h>
 #include <sched.h>
-#include <bits/pthreadtypes.h>
 #include <pthread.h>
 
 typedef void *(*pthread_start_t)(void *);