diff options
| author | Matthieu Sozeau | 2014-08-08 16:11:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-08-09 21:31:37 +0200 |
| commit | b3d64ad3164517ee0eeb148c2f1d6c44eb9cf23d (patch) | |
| tree | 34db6dc74629c9e260a3da1d6dfbe352203b408c /plugins | |
| parent | 3491563fae26168f8b06b8beb81be5427c3f4c8c (diff) | |
Do early occur-check in unification to allow eta to fire (fixes bug #3477)
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions