diff --git a/compiler/_tags b/compiler/_tags index 413bc49..c1f6822 100644 --- a/compiler/_tags +++ b/compiler/_tags @@ -2,5 +2,6 @@ <**/*.ml>: debug, dtypes : camlp4of, use_camlp4 <**/hept_parser.ml>: use_menhirLib +<**/mls_parser.ml>: use_menhirLib <**/*.{byte,native}>: use_unix, use_str, link_menhirLib, debug true: use_menhir