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_generated_parser | |
parent | 6c006e122a050ebbe76c8c566e559bbf9f2301a7 (diff) |
Don't use take_mut::take lightly since normalize_whnf might panic
Diffstat (limited to 'dhall_generated_parser')
0 files changed, 0 insertions, 0 deletions