diff options
| author | Nadrieril | 2020-06-20 22:15:52 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-06-20 22:15:52 +0100 |
| commit | b72ad8a5e2bae791f7f21cdfad68432cb128371c (patch) | |
| tree | 32157be0f4fc5f7f6d8ffcc38b9ba13973d08edb /dhall/src/semantics/tck/tyexpr.rs | |
| parent | 140d990f3b4d8be5d27438eda1bd5776f7aca587 (diff) | |
fix: assuage clippy on ci
Diffstat (limited to 'dhall/src/semantics/tck/tyexpr.rs')
0 files changed, 0 insertions, 0 deletions