Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-22 17:45:28 -0800 (Tue, 22 Mar 2005)
Revision: 7006
Log message:

      The type checking rule for x86main for some reason required its argument to be
      in "all (). all (). ..." while in fact it always was a member of just "all ()
      ..."; fixed.
      

Changes	Path
+1 -1	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
+115 -31	mpcompiler/mmc/test/mmc_tests_out.previous