rename mypthread.h to pthread.h

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index b78837fc7219bd77dcea34744ff6214fb5fecaa6..f14628bfde2dbe004f755ad6631b3c36fc163537 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -14,7 +14,7 @@
 #include "modeltypes.h"
 #include "stl-model.h"
 #include "params.h"
 #include "modeltypes.h"
 #include "stl-model.h"
 #include "params.h"

-#include "mypthread.h"
+#include "pthread.h"

 #include "mutex.h"
 #include <condition_variable>
 #include "classlist.h"
 #include "mutex.h"
 #include <condition_variable>
 #include "classlist.h"