Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-30 02:03:55 -0700 (Wed, 30 Jul 2003)
Revision: 4790
Log message:
Minor error handling updates.
| Changes | Path |
| +4 -25 | metaprl-branches/bound_contexts2/filter/boot/proof_boot.ml |
| +2 -1 | metaprl-branches/bound_contexts2/refiner/rewrite/rewrite_match_redex.ml |