diff options
| author | Nadrieril | 2020-02-16 19:15:29 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-16 19:49:44 +0000 |
| commit | 80722b6da21a79cc2f00b2944244b28a04c5e169 (patch) | |
| tree | dbf37bba7b8297d590160ceda5b845b8fff343d2 /dhall/src/semantics/tck/typecheck.rs | |
| parent | 130de8cea49c848a06174c61c747d9414a5c71b7 (diff) | |
Oops, leftover #![allow(dead_code)]
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions