diff options
| author | Hugo Herbelin | 2015-09-08 14:19:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-09-08 14:19:34 +0200 |
| commit | 7e00e8d602e67810700a7071c419ffd7ef8806c5 (patch) | |
| tree | 0541e014fc1bf128bb13a816c31d1d4ceb18f51c /kernel/nativelambda.ml | |
| parent | 11fc2695936c4cff0eea18cb97f6c83eb7cff09d (diff) | |
Fixing incomplete bugfix in 76f27140e6e34 (unfortunately 5 commits
ago) which broke compilation of theories/Logic/WKL.v (collision
between a temporary name and a user name).
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions