From: Brian Norris <banorris@uci.edu>
Date: Mon, 4 Mar 2013 00:58:12 +0000 (-0800)
Subject: cyclegraph: missing form of checkReachable()
X-Git-Tag: oopsla2013~166
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=dd989c16bf4ede61142d79737a8f6568aa153fa2

cyclegraph: missing form of checkReachable()

I don't know how this managed to link previously.
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index f8cbdda..d2cac49 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -425,13 +425,15 @@ bool CycleGraph::checkReachable(const T *from, const U *to) const
 
 	return checkReachable(fromnode, tonode);
 }
-/* Instantiate three forms of CycleGraph::checkReachable */
+/* Instantiate four forms of CycleGraph::checkReachable */
 template bool CycleGraph::checkReachable(const ModelAction *from,
 		const ModelAction *to) const;
 template bool CycleGraph::checkReachable(const ModelAction *from,
 		const Promise *to) const;
 template bool CycleGraph::checkReachable(const Promise *from,
 		const ModelAction *to) const;
+template bool CycleGraph::checkReachable(const Promise *from,
+		const Promise *to) const;
 
 /** @return True, if the promise has failed; false otherwise */
 bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) const