From 35dd2c2087e76909e28e2754ad361bec5dff8f2a Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 2 Aug 2012 12:35:21 -0700
Subject: [PATCH] nodestack: remove completed @todo

---
 nodestack.cc | 2 --
 1 file changed, 2 deletions(-)

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() {
-- 
2.34.1