model: remove todo

diff --git a/model.cc b/model.cc
index 4f2719f338c8afa9ba05d2f0835fd565bd6dfbd2..31e0694e459b018da371ae4ff8c484369582f49d 100644 (file)
--- 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