From d6e583ab1038ffe2706e5ecdc96a3da207f87c16 Mon Sep 17 00:00:00 2001
From: Erick Tryzelaar <erick.tryzelaar@gmail.com>
Date: Sun, 3 Mar 2013 14:49:44 -0800
Subject: [PATCH] std: remove an unnecessary copy from workcache

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

diff --git a/src/libstd/workcache.rs b/src/libstd/workcache.rs
index 1dd7bfd75db8..c46c2d17ed0c 100644
--- a/src/libstd/workcache.rs
+++ b/src/libstd/workcache.rs
@@ -174,7 +174,7 @@ pub impl Database {
         let k = json_encode(&(fn_name, declared_inputs));
         match self.db_cache.find(&k) {
             None => None,
-            Some(&v) => Some(json_decode(copy v))
+            Some(v) => Some(json_decode(*v))
         }
     }