src/Rope.cc
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
     }
 }