From: Brian Norris <banorris@uci.edu>
Date: Thu, 2 Aug 2012 19:35:21 +0000 (-0700)
Subject: nodestack: remove completed @todo
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=35dd2c2087e76909e28e2754ad361bec5dff8f2a;ds=sidebyside

nodestack: remove completed @todo
---

diff --git a/nodestack.cc b/nodestack.cc
index b93ed460..a88166f0 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -230,8 +230,6 @@ uint64_t Node::get_future_value() {
 /**
  * Gets the next 'may_read_from' action from this Node. Only valid for a node
  * where this->action is a 'read'.
- * @todo Perform reads_from backtracking/replay properly, so that this function
- * may remove elements from may_read_from
  * @return The first element in may_read_from
  */
 const ModelAction * Node::get_read_from() {