From: Bardur A. <sp...@sc...> - 2006-07-24 07:11:19
|
Bardur Arantsson wrote: > Bardur Arantsson wrote: >> Hi all, >> >> Doing an >> >> ExtList.remove [1;2;3] 7 >> >> raises Not_found even though the interface doc says that it shouldn't. >> For consistency with both ExtList.remove_if and ExtList.remove_assoc no >> exception should be raised in this case. >> >> I can't seem to get in touch with SourceForge CVS right now, so I can't >> commit a fix, but I've attached the (trivial) patch to this message. I >> will commit this once SourceForge CVS comes up. >> >> Cheers, >> > > ... and of course I forget the attachment. I will commit tomorrow unless > there are any objections. > Committed. -- Bardur Arantsson <bardurREMOVE@THISscientician.net> - God is dead. Friedrich Nietzsche |