From ee1c1acb5b9aaafaaef57449bf0caeacc4345247 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 21 Oct 2015 16:04:06 -0400
Subject: [PATCH] =?UTF-8?q?Don=E2=80=99t=20shadow=20the=20continuation.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 prototype/UI/index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index a63cefda8..e4b83cbd4 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -72,10 +72,10 @@
         }
     }
 
-    function term(term, a, b) {
-        if (term.extract == null || term.unwrap == null) { return null; }
+    function term(json, a, b) {
+        if (json.extract == null || json.unwrap == null) { return null; }
 
-        return new Term(term.extract, syntax(term.unwrap, a, b, term));
+        return new Term(json.extract, syntax(json.unwrap, a, b, term));
     }
 
     function patch(patch, a, b) {