From 54064666084d6dfa3eaecb7ba51c09c28b8cf987 Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Thu, 8 Dec 2016 21:21:56 +0000
Subject: subst: Take the input Exprs by reference

---
 src/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/typecheck.rs')

diff --git a/src/typecheck.rs b/src/typecheck.rs
index aedce38..f6e6c7f 100644
--- a/src/typecheck.rs
+++ b/src/typecheck.rs
@@ -158,7 +158,7 @@ pub fn type_with<'i, S>(ctx: &Context<'i, Expr<'i, S, X>>,
             if prop_equal(&tA, &tA2) {
                 let vx0 = V(x, 0);
                 let a2  = shift::<S, S, X>( 1, vx0, a);
-                let tB2 = subst(vx0, a2, (*tB).clone());
+                let tB2 = subst(vx0, &a2, &tB);
                 let tB3 = shift::<S, S, X>(-1, vx0, &tB2);
                 Ok(tB3)
             } else {
-- 
cgit v1.2.3