diff options
| author | Hugo Herbelin | 2014-12-08 13:46:56 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-08 16:21:25 +0100 |
| commit | 7816189a0a78381ef7cf6356225835965881453d (patch) | |
| tree | ff40ff7e42c77946da01a1a8e7a39f433b22032b /kernel/nativelambda.ml | |
| parent | 5e331ad8920bcad2a749904aceebede9dfe7d1a7 (diff) | |
Improved criterion for evar restriction in the configuration
?n[...] = ?p[...;x:=?n[...];...]. Indeed, x could be a solution for ?p.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions