Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-24 09:37:40 -0700 (Fri, 24 Jul 1998)
Revision: 2350
Log message:
Fixed exception reporting in Filter_parse.MakeFilter.save.
| Changes | Path |
| +2 -2 | metaprl/filter/filter_main.ml |
| +21 -13 | metaprl/filter/filter_parse.ml |