diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-08 01:48:02 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-08 01:48:02 +0200 |
| commit | a1a792a0839d12c27164481c14282daf1bc900d3 (patch) | |
| tree | 95c35398c5c72163431a0c47cfdc043f5e64e953 /proofs | |
| parent | f5c43cab2e974245ca3bba8d7fc082dffdd5c282 (diff) | |
Fix bug #3589, unification looping due to incorrect use of stack with primitive projections.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions