diff options
| author | Matthieu Sozeau | 2015-03-03 09:41:51 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-03-03 09:41:51 +0100 |
| commit | ac62cda8a4f488b94033b108c37556877232137a (patch) | |
| tree | ea494a0816ca67c5cc00ba75712fb650ffeb380b /kernel | |
| parent | e77f178e60918f14eacd1ec0364a491d4cfd0f3f (diff) | |
Fix bug #4101, noccur_evar's expand_projection can legitimately fail
when called from w_unify, so we protect it.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions