From fb8661d1ba13b75f3a5525142630cf606930b003 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 9 Mar 2016 21:18:40 +0100
Subject: [PATCH] moar inlining

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

diff --git a/_tags b/_tags
index bcb2222e..0d8627c3 100644
--- a/_tags
+++ b/_tags
@@ -155,7 +155,7 @@ true: annot, bin_annot
 # OASIS_STOP
 <tests/*.ml{,i}>: thread
 <src/threads/*.ml{,i}>: thread
-<src/core/CCVector.cmx>: inline(25)
+<src/core/CCVector.cmx> or <src/core/CCString.cmx>: inline(25)
 <src/data/CCFlatHashtbl.cm*> or <src/data/CCHashTrie.cm*> or <src/data/CCPersistent*>: inline(15)
 <src/**/*.ml> and not <src/misc/*.ml>: warn_A, warn(-4), warn(-44)
 true: no_alias_deps, safe_string, short_paths