diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-02 08:33:13 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-02 08:33:13 +0000 |
commit | 5b406e30a7d6e3b594d67b9ee883337c50d3d384 (patch) | |
tree | cd5aba0010999834f4f365216a36afeb3003bfeb /README | |
parent | 47be31308f5c90c4ae5e78252989c7da70b46e70 (diff) |
Use InstEnv.instanceSig rather than instanceHead (name change)
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions