Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-29 17:00:55 -0700 (Thu, 29 Apr 1999)
Revision: 2646
Log message:

      ref_raise should only be used for raising RefineError errors
      

Changes  Path
+2 -2 metaprl/refiner/term_gen/term_meta_gen.ml
+1 -1 metaprl/refiner/term_std/term_eval_std.ml