X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=409c4e1e52ba431b729ec4b1c6d95168cfbc675b;hb=5e3720f6a6dccf2af670e4ab30660130f2a57c8f;hp=e8f377b51a6dfbca7e59dc69b1a81a5b19cac196;hpb=b7153285e24941be76175eeb163d25f6f604f96f;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index e8f377b..409c4e1 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -114,7 +114,7 @@ bool Node::set_backtrack(thread_id_t id)
 
 thread_id_t Node::get_next_backtrack()
 {
-	/* TODO: find next backtrack */
+	/** @todo Find next backtrack */
 	unsigned int i;
 	for (i = 0; i < backtrack.size(); i++)
 		if (backtrack[i] == true)