diff options
Diffstat (limited to 'dhall/src/phase/typecheck.rs')
| -rw-r--r-- | dhall/src/phase/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index 5caf1d5..ac584cd 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -605,7 +605,7 @@ fn type_last_layer( ensure_equal!( x.get_type()?, &text_type, - mkerr(InvalidTextInterpolation(x)), + mkerr(InvalidTextInterpolation(x.clone())), ); } } |