Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-19 09:25:38 -0800 (Fri, 19 Mar 2004)
Revision: 5491
Log message:

      Changed some :t parameters to :s.
      

Changes	Path
+10 -10	mpcompiler/mmc/extensions/arithmetic_integer/ext_arithmetic_integer.ml
+6 -6	mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+10 -10	mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+2 -2	mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli