diff options
| author | Sam Pablo Kuper | 2018-10-19 04:45:33 +0100 |
|---|---|---|
| committer | Sam Pablo Kuper | 2018-10-19 04:45:33 +0100 |
| commit | 5fb1677a4bf62155ef0f57c0a0b189d42e05505f (patch) | |
| tree | bed5fb47fa230c70cb1173d421ab906217a3109c /kernel/cClosure.ml | |
| parent | c3823156da73a63967d9d472e21560af1585b271 (diff) | |
Replace non-idiomatic "dead-alleys" with idiomatic "dead-ends"
Diffstat (limited to 'kernel/cClosure.ml')
0 files changed, 0 insertions, 0 deletions