Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-04-12 04:37:24 -0700 (Tue, 12 Apr 2005)
Revision: 7214
Log message:

      Hmm, maybe the sequence extension doesn't work, but maybe it's a bug in ref.
      I'm to sleepy to figure it out tonight...
      

Changes	Path
+28 -4	mpcompiler/mmc/extensions/ref/mmc_ext_ref.ml
+5 -5	mpcompiler/mmc/test/mmc_ref_test.ml