changeset 254 | 0c3d58912e1b |
parent 252 | 25054ce94d07 |
child 255 | 99431fdb0dc8 |
--- a/src/Rope.cc Sun Dec 07 19:54:00 2008 +0000 +++ b/src/Rope.cc Sun Dec 07 19:59:25 2008 +0000 @@ -143,6 +143,7 @@ } } else { // ROPE_FOLDED - throw std::logic_error("Rope shouldn't be ticking if it is folded"); + // Rope shouldn't be ticking if it is folded, but this can still happen + // immediately after the rope has been released } }