diff --git a/prototype/UI/index.html b/prototype/UI/index.html index 92f36fcc8..b97b6b87b 100644 --- a/prototype/UI/index.html +++ b/prototype/UI/index.html @@ -75,7 +75,7 @@ } function termFromJSON(json) { - return new Term({ extract: json.extract, unwrap: new Syntax(json.unwrap, function(x) { return termFromJSON(json); }) }); + return new Term({ extract: json.extract, unwrap: new Syntax(json.unwrap, function(x) { return termFromJSON(x); }) }); } function Term(object) {