diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 4ebf00c73..9474b9a96 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -121,26 +121,6 @@
}
}
- if (model instanceof Indexed) {
- element = document.createElement("ul");
- if (model.source != null && model.range != null) {
- var previous = model.range[0];
- for (i in model.values) {
- var value = model.values[i];
- element.appendChild(document.createTextNode(model.source.substr(previous, value.range[0] - previous)));
- element.appendChild(wrap("li", toDOM(value)));
- previous = value.range[0] + value.range[1];
- }
- element.appendChild(document.createTextNode(model.source.substr(previous, model.range[0] + model.range[1] - previous)));
- } else {
- for (i in model.values) {
- element.appendChild(wrap("li", toDOM(model.values[i])));
- }
- }
- }
- }
- }
-
return element;
}