From e17e9c804a3c00790503deb446534fd750c87813 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Mon, 5 Jun 2017 09:26:11 -0400
Subject: [PATCH] fix #1754

---
 src/js/static-net-filtering.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/js/static-net-filtering.js b/src/js/static-net-filtering.js
index d8ecd5219..00d73665c 100644
--- a/src/js/static-net-filtering.js
+++ b/src/js/static-net-filtering.js
@@ -1473,14 +1473,6 @@ FilterParser.prototype.parseOptions = function(s) {
             this.unsupported = true;
             break;
         }
-        if ( opt === 'document' ) {
-            if ( this.action === BlockAction ) {
-                this.parseTypeOption('document', not);
-                continue;
-            }
-            this.unsupported = true;
-            break;
-        }
         // Test before handling all other types.
         if ( opt.startsWith('redirect=') ) {
             if ( this.action === BlockAction ) {