diff options
author | 2014-09-08 01:48:02 +0200 | |
---|---|---|
committer | 2014-09-08 01:48:02 +0200 | |
commit | a1a792a0839d12c27164481c14282daf1bc900d3 (patch) | |
tree | 95c35398c5c72163431a0c47cfdc043f5e64e953 /pretyping/patternops.mli | |
parent | f5c43cab2e974245ca3bba8d7fc082dffdd5c282 (diff) |
Fix bug #3589, unification looping due to incorrect use of stack with primitive projections.
Diffstat (limited to 'pretyping/patternops.mli')
0 files changed, 0 insertions, 0 deletions