diff options
| author | Nadrieril | 2019-08-21 17:40:56 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-21 17:40:56 +0200 |
| commit | e8a9178ebe4860a8a00a6ec8f77b661fdad84890 (patch) | |
| tree | cdf74ed87a9c4cfb3adf64e0e0a95e99bb54efed /dhall/src/phase | |
| parent | 6c006e122a050ebbe76c8c566e559bbf9f2301a7 (diff) | |
Don't use take_mut::take lightly since normalize_whnf might panic
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions