model: rearrange conditionals, fixup take_step()

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 293743052858c8029fb685ff246ac071f38b821e..d6e0875c1a5562315b26367a3582452d5c41b07d 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -4,6 +4,7 @@
 #include <stdio.h>
 #include <cstring>
 #include "mymemory.h"
+#include "clockvector.h"
 
 struct ShadowTable *root;
 std::vector<struct DataRace *> unrealizedraces;