X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=pthread.cc;h=4f2dcd0ee7e00665274c239533234cb31499bc6c;hp=f0f968489d4857c86f60b5ee13972d735fada982;hb=0dbf7f2dd8d6cb6ffdbb5ffaf6329e9ca4b8d913;hpb=89ecd60fab0d93d6df6aa35e663ab67db860fa1d

diff --git a/pthread.cc b/pthread.cc
index f0f96848..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"
@@ -44,7 +44,7 @@ int pthread_join(pthread_t t, void **value_ptr) {
 void pthread_exit(void *value_ptr) {
 	Thread * th = thread_current();
 	model->switch_to_master(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, th));
-	while(1) ;			//make warning goaway
+	while(1) ;//make warning goaway
 }
 
 int pthread_mutex_init(pthread_mutex_t *p_mutex, const pthread_mutexattr_t *) {