Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-04 21:16:46 -0700 (Tue, 04 Aug 1998)
Revision: 2410
Log message:

      When v is not in s, "remove v s" should return s, not a copy of s.
      

Changes	Path
+22 -24	metaprl/mllib/fun_splay_set.ml