From 075cab202a88f90b27e7e3017c9db7a1f040e466 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Mon, 5 Jul 2010 16:10:00 +0200 Subject: [PATCH] _tags fix. --- compiler/_tags | 1 + 1 file changed, 1 insertion(+) 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