Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-23 18:17:07 -0800 (Sun, 23 Mar 2003)
Revision: 4225
Log message:

      Enforce the type distinctions in Ascii_io (it used to be unnecessary,
      but now an entry for a binding-less hyp can look exactly the same as
      an entry for a binding-less bterm!). This was what cause the "Not_found"
      problems when re-exporting some .prla files.
      

Changes	Path
+7 -6	metaprl/refiner/reflib/ascii_io.ml