From: Brian Norris <banorris@uci.edu>
Date: Wed, 27 Feb 2013 23:43:21 +0000 (-0800)
Subject: cyclegraph: bugfix - allow to compile with SUPPORT_MOD_ORDER_DUMP
X-Git-Tag: oopsla2013~215
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=65173f9717220115340c919eb746bc13386ee902

cyclegraph: bugfix - allow to compile with SUPPORT_MOD_ORDER_DUMP

I missed an include that is only used for the mod-order dump support
code.
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index eeec665..1dbb12d 100644
--- 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() :