From a5a55657ad8c1da1e17eda8e0a321612e61c311e Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Tue, 25 Nov 2014 14:51:54 -0800
Subject: Rename NODE_STRING -> NODE_TEXT.

In JS, use 'Text' instead of 'Str'.

In spec, use "plain textual content" instead of "strings."
---
 js/lib/html-renderer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'js/lib/html-renderer.js')

diff --git a/js/lib/html-renderer.js b/js/lib/html-renderer.js
index e4a5b3a..f3fa44e 100644
--- a/js/lib/html-renderer.js
+++ b/js/lib/html-renderer.js
@@ -23,7 +23,7 @@ var inTags = function(tag, attribs, contents, selfclosing) {
 var renderInline = function(inline) {
     var attrs;
     switch (inline.t) {
-    case 'Str':
+    case 'Text':
         return this.escape(inline.c);
     case 'Softbreak':
         return this.softbreak;
-- 
cgit v1.2.3