From c3ed75dc4b354becac0821e4288105dc2a300c4c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 10 Feb 2020 19:14:07 +0000
Subject: Remove need for Embed

This was an archaic leftover from copying the Haskell datatypes anyway
---
 dhall/src/semantics/nze/env.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dhall/src/semantics/nze/env.rs')

diff --git a/dhall/src/semantics/nze/env.rs b/dhall/src/semantics/nze/env.rs
index 5b036f0..241af40 100644
--- a/dhall/src/semantics/nze/env.rs
+++ b/dhall/src/semantics/nze/env.rs
@@ -86,3 +86,9 @@ impl<Type: Clone> ValEnv<Type> {
         }
     }
 }
+
+impl<'a> From<&'a NzEnv> for NzEnv {
+    fn from(x: &'a NzEnv) -> Self {
+        x.clone()
+    }
+}
-- 
cgit v1.2.3