summaryrefslogtreecommitdiff
path: root/dhall/src/errors/IfBranchMustBeTerm.txt
diff options
context:
space:
mode:
authorNadrieril2019-04-18 14:10:03 +0200
committerNadrieril2019-04-18 14:10:03 +0200
commit69267c7cc108a2f5db35c52a71afaa5be7be7355 (patch)
tree94ea06ec65c207103997974dcbe65e0da6d2f22d /dhall/src/errors/IfBranchMustBeTerm.txt
parentbce1538a6b80702ef71749215dce339c9f22f09c (diff)
Avoid an unnecessary unroll()
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions