Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-01 17:52:07 -0700 (Tue, 01 Jun 1999)
Revision: 2682
Log message:

      Fixed a bug that prevented resulting terms from being displayed in toploop.
      
      Before:
      # <<'x>>;;
      #
      
      Now:
      # <<'x>>;;
      x : term
      #
      

Changes	Path
+1 -1	metaprl/editor/ml/shell_mp.ml