From 7da7d6e22d9e7dcdc65711c4459a6e9af30c1458 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 8 Oct 2012 10:25:29 -0700
Subject: [PATCH] model: remove todo

---
 model.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/model.cc b/model.cc
index 4f2719f..31e0694 100644
--- a/model.cc
+++ b/model.cc
@@ -1296,7 +1296,6 @@ bool ModelChecker::thin_air_constraint_may_allow(const ModelAction * writer, con
  * "returns" two pieces of data: a pass-by-reference vector of @a release_heads
  * and a boolean representing certainty.
  *
- * @todo Finish lazy updating, when promises are fulfilled in the future
  * @param rf The action that might be part of a release sequence. Must be a
  * write.
  * @param release_heads A pass-by-reference style return parameter. After
-- 
2.34.1