diff options
| author | Pierre-Marie Pédrot | 2015-10-11 18:48:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-11 18:48:01 +0200 |
| commit | f8658b06b98e59e7f6397c6082e4b9b399499948 (patch) | |
| tree | 61e1d3203c80619d8282551b39aebbedad675939 /kernel/nativelambda.ml | |
| parent | cd9a2e9e59d87801790859ddd26d225d71be7f7c (diff) | |
Fixing bug #4366: Conversion tactics recheck uselessly convertibility.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions