From 38ec0850c28cccaad9e8962a410eb63323ad8378 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 20:23:35 -0400
Subject: [PATCH] Default recur parameter.

---
 prototype/UI/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 67996f162..c87cfe40e 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -82,6 +82,7 @@
 
     /// Range -> Syntax a -> String, (a -> DOM) -> DOM
     function rangeAndSyntaxToDOM(range, syntax, source, recur) {
+        recur = recur || function (term) { return rangeAndSyntaxToDOM(term.range, term.unwrap, source); }
         var element;
         if (syntax.leaf != null) {
             element = document.createElement("span");