diff --git a/_tags b/_tags index bcb2222e..0d8627c3 100644 --- a/_tags +++ b/_tags @@ -155,7 +155,7 @@ true: annot, bin_annot # OASIS_STOP : thread : thread -: inline(25) + or : inline(25) or or : inline(15) and not : warn_A, warn(-4), warn(-44) true: no_alias_deps, safe_string, short_paths