diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 14:35:46 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 14:35:46 -0400 |
| commit | a0bdb14300aa57eed684992a23a57fd319ef97c0 (patch) | |
| tree | a2a57d84ecfe9c75578d26cfda57dd0fbe840151 /src/Experiments | |
| parent | 1a5130702303e2843ab458e2566bef293c6947cd (diff) | |
Algebra: change a aliasing definition into an aliasing lemma to appease implicit argument resolution
Diffstat (limited to 'src/Experiments')
0 files changed, 0 insertions, 0 deletions