diff options
| author | Brian Campbell | 2018-04-04 12:05:56 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-04 14:45:00 +0100 |
| commit | 48f38c64fb68208d0b245f15ec2a3453ed00690f (patch) | |
| tree | 4feecabfeae990fd368c98cdccdaf340b6e911ca /mips/Makefile | |
| parent | 6d4d2b46f013e425af4f6c089fd224c9e811f761 (diff) | |
Make Type_check.solve do obvious cases immediately
Diffstat (limited to 'mips/Makefile')
0 files changed, 0 insertions, 0 deletions