nodestack: bugfix - rewrite 'may-read-from' and 'future values' as the same set

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index eeec66520c34d19d1f3d63539ce0c01a7109814b..1dbb12d9d25e2179895554817133b1c0267f179d 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -3,6 +3,7 @@
 #include "common.h"
 #include "promise.h"
 #include "model.h"
+#include "threads-model.h"
 
 /** Initializes a CycleGraph object. */
 CycleGraph::CycleGraph() :