Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-28 21:06:27 -0800 (Mon, 28 Feb 2005)
Revision: 6782
Log message:

      Fixed an Ascii IO bug: a corner case when overwriting a manually changed .prla
      was not handled correctly. Also changed the corresponding code so that any
      similar bug we might hit in the future would exhibit itself in a more obvious
      way.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
+26 -21	metaprl/refiner/reflib/ascii_io.ml
+6 -5	metaprl/refiner/reflib/ascii_io.mli
+22 -23	metaprl/refiner/reflib/ascii_io_sig.ml