nodestack: remove completed @todo
authorBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 19:35:21 +0000 (12:35 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 19:35:21 +0000 (12:35 -0700)
nodestack.cc

index b93ed460e593de1460f1e4f8feeacc58c3c3bbce..a88166f087722c084cc9a30bf4c64ea8d0f4404e 100644 (file)
@@ -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() {