From 4775d8e92553789f58ae8b94235333b1dd75e89a Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 21:22:28 -0400
Subject: [PATCH] =?UTF-8?q?Apparently=20we=20pass=20this=20parameter,=20so?=
 =?UTF-8?q?=20let=E2=80=99s=20use=20it.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 2a467d66a..0013be944 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -85,8 +85,8 @@
     }
 
     /// Term -> String -> DOM
-    function termToDOM(term, source) {
-        return rangeAndSyntaxToDOM(term.range, term.unwrap, source, function(term) { return term.range; }, function(term) { return termToDOM(term, source); });
+    function termToDOM(term, which, source) {
+        return rangeAndSyntaxToDOM(term.range, term.unwrap, source, function(term) { return term.range; }, function(term) { return termToDOM(term, which, source); });
     }
 
     /// Diff -> String -> String -> DOM