From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 4 Aug 2012 07:21:05 +0000 (-0500)
Subject: add a todo flag to a comment so it won't get lost... low priority item though
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=deaf5b4143c9f294eedbebb43d2156586fbdb2e2;hp=b946732417ea4d9dec1b2c1ac3c274811a9d3fcb

add a todo flag to a comment so it won't get lost... low priority item though
---

diff --git a/model.cc b/model.cc
index 8f8bd88b..d2e9f5eb 100644
--- a/model.cc
+++ b/model.cc
@@ -339,7 +339,7 @@ void ModelChecker::check_current_action(void)
 	if (!already_added)
 		add_action_to_lists(curr);
 
-	/* Is there a better interface for setting the next thread rather
+	/** @todo Is there a better interface for setting the next thread rather
 		 than this field/convoluted approach?  Perhaps like just returning
 		 it or something? */