Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-13 09:36:54 -0700 (Mon, 13 May 2002)
Revision: 3635
Log message:

      Adding a simple test case that demonstrates a problem
      with the setSubscript term (and implicitly, others
      that represent imperative updates of values).
      

Changes	Path
+13 -2	metaprl/theories/mc/tests/mp_mc_test.ml