Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-01-28 14:53:13 -0800 (Thu, 28 Jan 1999)
Revision: 2578
Log message:

      Fixed some of "this expression should have type unit" warnings
      

Changes	Path
+1 -2	metaprl/filter/filter_main.ml
+2 -2	metaprl/filter/filter_parse.ml
+1 -2	metaprl/filter/prlcomp.ml
+10 -5	metaprl/mllib/mmap_pipe.ml
+4 -1	metaprl/mllib/punix.ml
+1 -1	metaprl/mllib/punix.mli
+2 -2	metaprl/refiner/term_ds/term_man_ds.mlp
+4 -3	metaprl/theories/itt/itt_logic.ml