Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-31 03:48:13 -0700 (Thu, 31 Jul 2003)
Revision: 4795
Log message:

      Minor fixes.
      

Changes	Path
+9 -4	metaprl-branches/bound_contexts2/refiner/reflib/ascii_io.ml