From 05f3092b9bfecca23fa4b52700242685e19a5bb4 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 11 Oct 2013 11:51:46 -0700
Subject: [PATCH] html.parser.printer: don't print comments.

---
 extra/html/parser/printer/printer.factor | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extra/html/parser/printer/printer.factor b/extra/html/parser/printer/printer.factor
index 17b10c91f3..858830e729 100644
--- a/extra/html/parser/printer/printer.factor
+++ b/extra/html/parser/printer/printer.factor
@@ -41,6 +41,8 @@ ERROR: unknown-tag-error tag ;
 M: text-printer print-opening-tag
     name>> {
         { "br" [ nl ] }
+        { "ol" [ nl ] }
+        { "ul" [ nl ] }
         { "li" [ " * " write ] }
         [ drop ]
     } case ;
@@ -56,6 +58,8 @@ M: text-printer print-closing-tag
     ]
     [ "td" = [ " " write ] when ] tri ;
 
+M: text-printer print-comment-tag drop ;
+
 M: html-printer print-text-tag ( tag -- )
     text>> write ;
 
-- 
2.34.1