Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-21 22:35:30 -0700 (Wed, 21 Apr 2004)
Revision: 5693
Log message:
The MMC part of the AutoMustComplete change.
| Changes | Path |
| +4 -3 | mpcompiler/mmc/core/mmc_core_type_check.ml |