add source line number as a parameter to ModelAction

[c11tester.git] / include / pthread.h

diff --git a/include/pthread.h b/include/pthread.h
index 32f4e1b1d824e7b5f8476977ec9975224b36251f..97c686b8f3376046068ea4729f1da04ee49bece9 100644 (file)
--- 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 ---