diff --git a/_tags b/_tags index f9436da1..e3d70cb8 100644 --- a/_tags +++ b/_tags @@ -163,3 +163,4 @@ : -traverse : inline(25) <{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44) +true: no_alias_deps