X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=3bb5ab84a88c240d11ee5b7ae1ed01d2ab7c7207;hb=4da2859902f1096053a2d9857df502d3bb94e6e4;hp=23e5eca4ec82d28d07393ba7cab344d0837920fd;hpb=8e7d06831c75df291170b57a5573efead68eaad9;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 23e5eca..3bb5ab8 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -295,6 +295,7 @@ bool CycleGraph::checkReachable(const CycleNode *from, const CycleNode *to) cons
 	return false;
 }
 
+/** @return True, if the promise has failed; false otherwise */
 bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) const
 {
 	std::vector< CycleNode *, ModelAlloc<CycleNode *> > queue;