Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-01 10:11:53 -0700 (Wed, 01 Jul 1998)
Revision: 2281
Log message:
When opnames do not match, raise RefineError directly
| Changes | Path |
| +5 -1 | metaprl/refiner/refiner/rewrite.ml |