remove finished TODO

diff --git a/src/prolog/copier.rs b/src/prolog/copier.rs
index 6bff84e5940ae59f2a0106d65395b344cf23c1dc..f108d15c9c38bf937aae46aa9cd0dc07668b64d5 100644 (file)
--- a/src/prolog/copier.rs
+++ b/src/prolog/copier.rs
@@ -12,12 +12,6 @@ pub trait CopierTarget
     fn deref(&self, Addr) -> Addr;
     fn stack(&mut self) -> &mut AndStack;
 
-    //TODO: extend this so include a boundary() function which is constant!!
-    // this will return self.h. the threshold() will be used to set the addresses
-    // contained within the terms so that the offsets match those of the heap
-    // to be truncated by BLOCK, ie. starting at the BLOCK.H value. This should
-    // allow us to get around the latest bug.
-
     // duplicate_term(L1, L2) uses Cheney's algorithm to copy the term at
     // L1 to L2. forwarding_terms is kept to restore the innards of L1
     // after it's been copied to L2.