X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fpthread.h;h=97c686b8f3376046068ea4729f1da04ee49bece9;hb=dfb47d6bc6aacb0ce93a6e497d8abd027c12ec50;hp=32f4e1b1d824e7b5f8476977ec9975224b36251f;hpb=d636a580c23766d2734cb3bca516b2f25177bae5;p=c11tester.git

diff --git a/include/pthread.h b/include/pthread.h
index 32f4e1b1..97c686b8 100644
--- a/include/pthread.h
+++ b/include/pthread.h
@@ -3,7 +3,7 @@
  * @brief C11 pthread.h interface header
  */
 #ifndef PTHREAD_H
-#define PTHREAD_H 1
+#define PTHREAD_H
 
 #include <threads.h>
 #include <sched.h>
@@ -38,6 +38,7 @@ int pthread_cond_timedwait(pthread_cond_t *p_cond,
     pthread_mutex_t *p_mutex, const struct timespec *abstime);
 int pthread_cond_signal(pthread_cond_t *);
 
+
 int user_main(int, char**);
 
 // --- not implemented yet ---