projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
change data structures
[c11tester.git]
/
threads-model.h
diff --git
a/threads-model.h
b/threads-model.h
index 8ba9d9b6d83d34fe7f9f057ad53a3e16356e32d3..61e3569bbdfe8a9f09efb8e354eacc119257d8ab 100644
(file)
--- a/
threads-model.h
+++ b/
threads-model.h
@@
-8,7
+8,7
@@
#include <stdint.h>
#include "mymemory.h"
-#include
<threads.h>
+#include
"threads.h"
#include "modeltypes.h"
#include "stl-model.h"
#include "context.h"
@@
-187,4
+187,4
@@
static inline int id_to_int(thread_id_t id)
return id;
}
-#endif /* __THREADS_MODEL_H__ */
+#endif /* __THREADS_MODEL_H__ */