projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
[c11tester.git]
/
libthreads.cc
diff --git
a/libthreads.cc
b/libthreads.cc
index 75d1910718db8f1f594213072582be48b2c35ee3..5ff106c8535982bd82835366a0444ce77c0f300e 100644
(file)
--- a/
libthreads.cc
+++ b/
libthreads.cc
@@
-1,8
+1,9
@@
-#include
<threads.h>
+#include
"threads.h"
#include "common.h"
#include "threads-model.h"
#include "action.h"
#include "common.h"
#include "threads-model.h"
#include "action.h"
+
/* global "model" object */
#include "model.h"
/* global "model" object */
#include "model.h"