Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-17 17:44:52 -0800 (Thu, 17 Mar 2005)
Revision: 6967
Log message:

      When backtrace is on, do not attempt to pretty-print exceptions (this destroys
      backtraces for some reason).
      

Changes	Path
+1 -4	metaprl/editor/ml/shell_mp.ml
+4 -5	metaprl/filter/base/filter_exn.ml