diff options
author | 2014-02-14 15:11:22 -0500 | |
---|---|---|
committer | 2014-02-14 15:11:22 -0500 | |
commit | 03733e0e5291ca5b07270dabd71e9773a9930721 (patch) | |
tree | b74bb91f14dc7c250113d1f205b43a431e93f7ee /src/elab_ops.sig | |
parent | 5537bc4338b4a576b225810c5cca34d3ca7de87f (diff) |
Fix a subtle renaming problem in elaborating functor applications
Diffstat (limited to 'src/elab_ops.sig')
0 files changed, 0 insertions, 0 deletions