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 /src/elab_err.sig | |
parent | 5537bc4338b4a576b225810c5cca34d3ca7de87f (diff) |
Fix a subtle renaming problem in elaborating functor applications
Diffstat (limited to 'src/elab_err.sig')
0 files changed, 0 insertions, 0 deletions