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 | 7187b4e8d04500c6648ea49b0f95df567385fce4 (patch) | |
| tree | 2be2fc0cdd9c0f77ff56629d2cb576bf6e12f467 /tests/crypt.urs | |
| parent | 4bc7c609164aa310d1ef2a803483686ba4c7e5ce (diff) | |
Better wildification, avoiding some unintentional variable capture
Diffstat (limited to 'tests/crypt.urs')
0 files changed, 0 insertions, 0 deletions