From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 23 Mar 2013 14:30:06 +0000 (+0100)
Subject: Silences the newly introduced K warning (unused functions)
X-Git-Tag: v0.1~108
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=1bc0f404afcc7dde1caefc9e2ed9786ddc959502

Silences the newly introduced K warning (unused functions)
---

diff --git a/_tags b/_tags
index f500328..0547672 100644
--- a/_tags
+++ b/_tags
@@ -27,4 +27,4 @@ true:    inline(1000), unsafe(true)
 <src>: include
 
 #Enable warning for all but generated files:
-not <src/xpath/ulexer.*>: warning(@A-4)
+not <src/xpath/ulexer.*>: warning(@A-4-K)