Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-01-06 14:30:39 -0800 (Wed, 06 Jan 1999)
Revision: 2563
Log message:

      Removed redundant opens, indentation fix.
      

Changes	Path
+3 -3	metaprl/refiner/reflib/simple_print.ml
+0 -2	metaprl/refiner/reflib/simple_print.mli