Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-15 00:18:34 -0700 (Wed, 15 May 2002)
Revision: 3641
Log message:

      Minor comment modification in mp_mc_compile.
      
      I'm also committing two, real simple test cases in mp_mc_test.ml
      to convince myself the firDeadcodeC is working as expected.
      

Changes	Path
+1 -1	metaprl/theories/mc/mp_mc_compile.ml
+26 -1	metaprl/theories/mc/tests/mp_mc_test.ml