diff options
| author | Matthieu Sozeau | 2014-09-08 17:07:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-08 17:09:43 +0200 |
| commit | 7a5eb53973ec3fd921b56339557c48681972849e (patch) | |
| tree | ad8e4613dfbba04b3fb24dc6d9f82258a0e15155 /plugins/pluginsopt.itarget | |
| 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/pluginsopt.itarget')
0 files changed, 0 insertions, 0 deletions