From 0dbf7f2dd8d6cb6ffdbb5ffaf6329e9ca4b8d913 Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 14 Jun 2019 10:56:48 -0700
Subject: [PATCH] rename mypthread.h to pthread.h

---
 action.h                           | 2 +-
 execution.h                        | 2 +-
 include/{mypthread.h => pthread.h} | 2 +-
 pthread.cc                         | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)
 rename include/{mypthread.h => pthread.h} (99%)

diff --git a/action.h b/action.h
index 2bde6b85..b4fb80fc 100644
--- a/action.h
+++ b/action.h
@@ -11,7 +11,7 @@
 #include "mymemory.h"
 #include "memoryorder.h"
 #include "modeltypes.h"
-#include "mypthread.h"
+#include "pthread.h"
 #include "classlist.h"
 
 namespace cdsc {
diff --git a/execution.h b/execution.h
index b78837fc..f14628bf 100644
--- a/execution.h
+++ b/execution.h
@@ -14,7 +14,7 @@
 #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"
diff --git a/include/mypthread.h b/include/pthread.h
similarity index 99%
rename from include/mypthread.h
rename to include/pthread.h
index b697bde2..97c686b8 100644
--- a/include/mypthread.h
+++ b/include/pthread.h
@@ -7,7 +7,7 @@
 
 #include <threads.h>
 #include <sched.h>
-//#include <bits/pthreadtypes.h>
+#include <bits/pthreadtypes.h>
 #include <pthread.h>
 
 typedef void *(*pthread_start_t)(void *);
diff --git a/pthread.cc b/pthread.cc
index 8c2bc076..4f2dcd0e 100644
--- a/pthread.cc
+++ b/pthread.cc
@@ -1,7 +1,7 @@
 #include "common.h"
 #include "threads-model.h"
 #include "action.h"
-#include "mypthread.h"
+#include "pthread.h"
 
 #include "snapshot-interface.h"
 #include "datarace.h"
-- 
2.34.1