projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Makefile/malloc: don't warn for self-assign
[model-checker.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index 5bfcb8ad48cc98d007612805c2cc48567dedf984..627b8cc88c7016b27cc2660bdebdf4693e674c40 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-5,8
+5,12
@@
#ifndef DATARACE_H
#include "config.h"
#include <stdint.h>
-#include "clockvector.h"
#include <vector>
+#include "modeltypes.h"
+
+/* Forward declaration */
+class ClockVector;
+class ModelAction;
struct ShadowTable {
void * array[65536];