diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-02-14 15:11:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-02-14 15:11:22 -0500 |
| commit | 03733e0e5291ca5b07270dabd71e9773a9930721 (patch) | |
| tree | b74bb91f14dc7c250113d1f205b43a431e93f7ee /lib/js | |
| parent | 5537bc4338b4a576b225810c5cca34d3ca7de87f (diff) | |
Fix a subtle renaming problem in elaborating functor applications
Diffstat (limited to 'lib/js')
0 files changed, 0 insertions, 0 deletions