diff options
| author | Matthieu Sozeau | 2014-09-27 19:22:24 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-27 20:41:05 +0200 |
| commit | b6e39ade125862ba41ca17b06b8e35726b9b0d7d (patch) | |
| tree | 4faa9cbbc56f3b63f5ef89f98452ab69b31af887 /plugins | |
| parent | 02b66da78e766a0eb8a1ec82a03ec9ce5418a0f0 (diff) | |
Fix semantics of matching with folded/unfolded projections to definitely
avoid looping and be compatible with unfold.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions