diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-06 13:07:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-06 13:07:50 -0400 |
| commit | f8d463b31a6808a1b83fa5873f295006b73daf72 (patch) | |
| tree | 2be2fc0cdd9c0f77ff56629d2cb576bf6e12f467 /src/elaborate.sig | |
| parent | 64f43be321e5ad4bef303831a589e1bd415e8673 (diff) | |
Better wildification, avoiding some unintentional variable capture
Diffstat (limited to 'src/elaborate.sig')
0 files changed, 0 insertions, 0 deletions