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