Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-02-04 14:10:55 -0800 (Fri, 04 Feb 2005)
Revision: 6596
Log message:

      Fix a bug in itt_rbtrees
      

Changes	Path
+4 -4	metaprl/theories/itt/itt_rbtree.ml