diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2014-09-08 17:07:23 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2014-09-08 17:09:43 +0200 |
commit | 7a5eb53973ec3fd921b56339557c48681972849e (patch) | |
tree | ad8e4613dfbba04b3fb24dc6d9f82258a0e15155 /plugins/xml | |
parent | 26a79004e47bbdc97df61015ce7e944eef14ac71 (diff) |
Fix bug #3591: print differently eta-expanded projection implicit application and
primitive projection when they would otherwise be ambiguous.
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions