diff options
| author | Hugo Herbelin | 2015-02-12 15:40:10 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-02-12 17:18:56 +0100 |
| commit | 7f427a8ab2e08e24c303cffd2e54d4fb477f3b00 (patch) | |
| tree | ce527d2b31a00ff6d06df5f178790c13c097b914 /tools | |
| parent | cf4645acc78a8463fa533756efd9a8d9855d727d (diff) | |
Fixing #3997 (occur-check in the presence of primitive projections, patch
from Matthieu).
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions