Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-27 17:09:33 -0700 (Wed, 27 Aug 2003)
Revision: 4889
Log message:

      - Phobos warnings should go to stderr, not stdout. Otherwise they end up
      in the .ppo file (at least in omake compile) causing it to become corrupted.
      
      - "omake clean" in theories/experimental/compile should know to delete *.cph
      

Changes	Path
+1 -1	metaprl/filter/phobos/phobos_util.ml
+1 -1	metaprl/theories/experimental/compile/OMakefile