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 |