Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-23 21:33:14 -0700 (Thu, 23 May 2002)
Revision: 3691
Log message:

      Updates to reflect the new MCC FIR.  I've just
      commented out problem code since I need to rethink
      slightly how I represent the FIR in MetaPRL and I don't
      want to spend time updating code that's about to change
      anyways.
      

Changes  Path
+4 -0 metaprl/theories/mc/mp_mc_connect_exp.ml