summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2019-08-21 17:40:56 +0200
committerNadrieril2019-08-21 17:40:56 +0200
commite8a9178ebe4860a8a00a6ec8f77b661fdad84890 (patch)
treecdf74ed87a9c4cfb3adf64e0e0a95e99bb54efed /dhall_syntax
parent6c006e122a050ebbe76c8c566e559bbf9f2301a7 (diff)
Don't use take_mut::take lightly since normalize_whnf might panic
Diffstat (limited to 'dhall_syntax')
0 files changed, 0 insertions, 0 deletions