Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-09-21 16:48:33 -0700 (Tue, 21 Sep 2004)
Revision: 6204
Log message:

      Better error reporting on refine errors during rewrite application.  Use
          set_debug "refine" true;;
      to see the benefits.
      

Changes	Path
+15 -2	metaprl/refiner/refiner/refine.ml