Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-29 02:19:15 -0700 (Fri, 29 Aug 2003)
Revision: 4898
Log message:

      Removing a few more unused "open" statements.
      

Changes	Path
+0 -1	metaprl/editor/ml/mp.mli
+0 -6	metaprl/editor/ml/shell_p4.ml
+0 -1	metaprl/editor/ml/shell_p4.mli
+0 -1	metaprl/filter/base/filter_util.ml
+0 -1	metaprl/tactics/null/thread_refiner.ml
+3 -3	metaprl/util/clean-opens
+0 -2	mpcompiler/mmc/extensions/ext_integer.ml