From: Brian Norris <banorris@uci.edu>
Date: Mon, 8 Oct 2012 17:25:29 +0000 (-0700)
Subject: model: remove todo
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7da7d6e22d9e7dcdc65711c4459a6e9af30c1458

model: remove todo
---

diff --git a/model.cc b/model.cc
index 4f2719f3..31e0694e 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