Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 16:55:41 -0800 (Thu, 02 Dec 2004)
Revision: 6314
Log message:

      Pretty-print Lm_parser.ParseError
      

Changes	Path
+8 -0	metaprl-branches/new_parser3/filter/base/filter_exn.ml