Index: java/org/chromium/distiller/webdocument/WebTag.java |
diff --git a/java/org/chromium/distiller/webdocument/WebTag.java b/java/org/chromium/distiller/webdocument/WebTag.java |
index 2e3182c960179c962d732c2e802a2ee3e0851198..a56111d60098bd500660bce670be4225f6f0adea 100644 |
--- a/java/org/chromium/distiller/webdocument/WebTag.java |
+++ b/java/org/chromium/distiller/webdocument/WebTag.java |
@@ -22,6 +22,7 @@ public class WebTag extends WebElement { |
nestingTags.add("OL"); |
nestingTags.add("LI"); |
nestingTags.add("BLOCKQUOTE"); |
+ nestingTags.add("PRE"); |
} |
public WebTag(String tagName, TagType tagType) { |