diff options
| author | Pierre-Marie Pédrot | 2020-04-02 18:52:32 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-09 13:35:52 +0200 |
| commit | fce845329806096ea999f7485ffa3ab20e58b66a (patch) | |
| tree | adef9c5d36a9313f06aa7d33d678dbb33d3929d2 /kernel/nativelambda.ml | |
| parent | a172d9e249c4e59b957c8afbfa352af525f4607d (diff) | |
Remove dead code in Evarsolve alias resolution.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions