Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-12 17:06:57 -0700 (Tue, 12 Apr 2005)
Revision: 7217
Log message:

      Removed the unnecessary "as t" from the ref extension.
      

Changes  Path
+20 -24 mpcompiler/mmc/extensions/ref/mmc_ext_ref.ml
+6 -6 mpcompiler/mmc/extensions/ref/mmc_ext_ref.mli