From deaf5b4143c9f294eedbebb43d2156586fbdb2e2 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Sat, 4 Aug 2012 02:21:05 -0500 Subject: [PATCH] add a todo flag to a comment so it won't get lost... low priority item though --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 8f8bd88..d2e9f5e 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? */ -- 2.34.1