diff --git a/prototype/UI/index.html b/prototype/UI/index.html index ecd81e0c2..193779be4 100644 --- a/prototype/UI/index.html +++ b/prototype/UI/index.html @@ -53,7 +53,7 @@ return node; } - function term(term) { + function term(term, element) { if (term["extract"] == null || term["unwrap"] == null) { return; } // fixme: do something…? }