1 files changed, 0 insertions, 2 deletions

diff --git a/_tags b/_tags
index 6f83b4ef3a..dd82e488d9 100644
--- a/_tags
+++ b/_tags
@@ -21,8 +21,6 @@
 
 ## tags for camlp4 files 
 
-<**/*.ml4>: is_ml4
-
 "toplevel/mltop.ml4": is_mltop, use_macro
 
 "parsing/lexer.ml4": use_macro