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 b93ed46..a88166f 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