From b7424619fea7317785192eb8b588f2d3e7a1af9c Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Wed, 17 Jul 2013 17:54:51 -0400 Subject: [PATCH] () --- test/repl/retract-bc-2.dynadoc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/test/repl/retract-bc-2.dynadoc b/test/repl/retract-bc-2.dynadoc index c5fa45e..0e7d6d5 100644 --- a/test/repl/retract-bc-2.dynadoc +++ b/test/repl/retract-bc-2.dynadoc @@ -48,9 +48,8 @@ c(3) = null. c(4) = null. c(5) = null. -% as in `retract-bc.dynadoc`, `a(X)` did not change even tho it ought to. The -% `c(X)` values get blasted because the don't have an oblivious memoized item -% inbetween like `h(X)`. +% TODO (bug): `a(X)` did not change even tho it ought to. The `c(X)` values get +% blasted because the don't have an obliviously memoized item inbetween, `h(X)`. > b(X) = h(X) for X in range(6). -- 2.50.1