[SVN] r10532

[Allan Odgaard]

Rewrite remove_from_intset.

The old remove_from_intset would decrease size and create a copy of the integer set with the element removed, but would not update the type to point to this new copy, so in practice remove_from_intset() would always remove the last element, regardless of argument passed in.

New version uses memmove() to handle removal in-place.

Changed:
U   trunk/Tools/tm_interactive_input/src/intset.c