Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-02 09:11:47 -0700 (Thu, 02 Aug 2001)
Revision: 3358
Log message:

      Updated letSubCheck to better reflect the FIR.  Still a no-op at this point.
      

Changes  Path
+5 -3 metaprl/theories/mc/fir_exp.ml
+1 -1 metaprl/theories/mc/fir_exp.mli