X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.cc;h=d2cac49c50913f8d81538160c854cd9fd60d3ad6;hp=f8cbdda81054a3992aa0f507c1b1bb8499887c5e;hb=dd989c16bf4ede61142d79737a8f6568aa153fa2;hpb=438b20cfc07029629c03b4f219c190cbdb5b9d1b

diff --git a/cyclegraph.cc b/cyclegraph.cc
index f8cbdda8..d2cac49c 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