Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-14 17:21:29 -0800 (Wed, 14 Dec 2005)
Revision: 8298
Log message:

      Improved error reporting on mismatches.
      

Changes  Path
+29 -11 metaprl/refiner/refiner/refiner_debug.ml