diff options
| author | Hugo Herbelin | 2015-07-16 09:44:54 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-16 09:47:56 +0200 |
| commit | 3bcc96d5ab6571a7810b68c340af7aa195ef76f4 (patch) | |
| tree | 4dcef7d1257496ae5667c1ecb2c6437eb1786a61 /kernel | |
| parent | 93579407f5795c117d6c6f1399396b690f80d723 (diff) | |
Continuing 93579407, spotting other potential sources of anomaly
because of the name of a bound variable lost when unifying under a
binder in evarconv.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions