Index: third_party/polymer/v1_0/find_unused_elements.py |
diff --git a/third_party/polymer/v1_0/find_unused_elements.py b/third_party/polymer/v1_0/find_unused_elements.py |
index 5dbacdbdcbcec33a1c587eb987f182fc234e3025..337efae36961bda2ea6627b416a2896ac1ef86ce 100644 |
--- a/third_party/polymer/v1_0/find_unused_elements.py |
+++ b/third_party/polymer/v1_0/find_unused_elements.py |
@@ -133,11 +133,6 @@ class UnusedElementsDetector(object): |
if not filename.endswith('.html') and not filename.endswith('.js'): |
continue |
- # Skip generated files that may include the element source. |
- if filename in ('crisper.js', 'vulcanized.html', |
- 'app.crisper.js', 'app.vulcanized.html'): |
- continue |
- |
with open(os.path.join(dirpath, filename)) as f: |
text = f.read() |
if not re.search('/%s/' % element_dir, text): |