Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-22 12:03:04 -0700 (Fri, 22 May 1998)
Revision: 2176
Log message:

      Fixed a typo in rev_assoc
      

Changes  Path
+4 -1 metaprl/refiner/term.ml