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/fromString.urp | |
parent | 4bc7c609164aa310d1ef2a803483686ba4c7e5ce (diff) |
Better wildification, avoiding some unintentional variable capture
Diffstat (limited to 'tests/fromString.urp')
0 files changed, 0 insertions, 0 deletions