From c2b4a2d9b40efbe4f6cb6fd04f6cb90639f4985f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 12 May 2019 18:44:28 +0200
Subject: Implement binary encoding

Closes #39
---
 dhall/src/phase/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/phase/typecheck.rs')

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())),
                     );
                 }
             }
-- 
cgit v1.2.3