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 /plugins/extraction/haskell.mli | |
parent | f5c43cab2e974245ca3bba8d7fc082dffdd5c282 (diff) |
Fix bug #3589, unification looping due to incorrect use of stack with primitive projections.
Diffstat (limited to 'plugins/extraction/haskell.mli')
0 files changed, 0 insertions, 0 deletions