fix my todo comments so they appear in documentation

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index e8f377b51a6dfbca7e59dc69b1a81a5b19cac196..409c4e1e52ba431b729ec4b1c6d95168cfbc675b 100644 (file)
--- 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)