Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-09-12 15:24:38 -0700 (Thu, 12 Sep 2002)
Revision: 3873
Log message:

      Enabled ->v parameter conversion in relaxed mode.
      

Changes	Path
+2 -0	metaprl/refiner/rewrite/rewrite_compile_contractum.ml