diff options
| author | Matthieu Sozeau | 2014-08-09 21:30:28 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-08-09 21:31:38 +0200 |
| commit | 849c8d58f01618c06bca46a4532db8e288e6f703 (patch) | |
| tree | 3bc23fb2d0c8340bce4a6a616918822ac34db3ae /plugins/firstorder | |
| parent | 9861690aefc7d63641c1827cce2701b692c146e3 (diff) | |
Fix unification which was failing when unifying a primitive projection against
its expansion if it could reduce (fixes bug #3480).
Diffstat (limited to 'plugins/firstorder')
0 files changed, 0 insertions, 0 deletions