Changes by: Carl Witty (cwitty at newtonlabs.com)
Date: 1999-06-13 21:03:39 -0700 (Sun, 13 Jun 1999)
Revision: 2712
Log message:

      Fixed the following behavior when using the OCaml toplevel:
      # << univ[i:l] >>;;
      Unbound constructor Refiner.Refiner.TermType.Level
      

Changes	Path
+2 -3	metaprl/refiner/reflib/ml_format.ml