From 2b67a1a679d673ec425428910f75777cc43f5e12 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 19 Dec 2017 20:24:12 +0100
Subject: [PATCH] add colors

---
 _tags | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_tags b/_tags
index 08c6f6f5..51eb014f 100644
--- a/_tags
+++ b/_tags
@@ -159,5 +159,5 @@ true: annot, bin_annot
 <src/data/CCFlatHashtbl.cm*> or <src/data/CCHashTrie.cm*> or <src/data/CCPersistent*>: inline(15)
 <src/core/CCMap.*> or <src/core/CCSet.*> or <src/core/CCList.*>: warn(-32)
 <src/**/*.ml> and not <src/misc/*.ml>: warn(+a-4-44-58-60@8)
-true: no_alias_deps, safe_string, short_paths
+true: no_alias_deps, safe_string, short_paths, color(always)
 <src/**/*Labels.cm*>: nolabels