diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-17 22:37:26 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-18 11:02:14 -0400 |
| commit | a426187067726ecb0362aabe12c3877166e427a0 (patch) | |
| tree | af46a607b5f63c5d6ecf034bef7d4d20a10007d2 /src/Util/GlobalSettings.v | |
| parent | b5c975c9b5a7cf522d9bd94a7843b96d91f64a9b (diff) | |
Allow instantiating type arguments without reducing matches
Diffstat (limited to 'src/Util/GlobalSettings.v')
0 files changed, 0 insertions, 0 deletions