@@ -7,7 +7,7 @@ var Text = function() {
7 a.push(elmList[1]);
7 a.push(elmList[1]);
8 elmList = elmList[2];
8 elmList = elmList[2];
10− return Data.String.properEscape(a.join(''));
10+ return Value.properEscape(a.join(''));
13 var addTag = function(tag) { return function(text) {
13 var addTag = function(tag) { return function(text) {