| 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) {
|
|
|