diff --git a/prototype/UI/index.html b/prototype/UI/index.html index b0de509e7..da8c61ea8 100644 --- a/prototype/UI/index.html +++ b/prototype/UI/index.html @@ -67,7 +67,7 @@ } function term(term, a, b) { - if (term.extract == null || term.unwrap == null) { return; } + if (term.extract == null || term.unwrap == null) { return null; } return syntax(term.unwrap, a, b, term); }