diff options
| author | Gabriel Kerneis | 2014-08-24 08:59:17 +0200 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-08-24 08:59:17 +0200 |
| commit | cf236dc90b7e091da0929df055c88e0093a70f41 (patch) | |
| tree | 073ba00df9253f94761c24b8d7147b71f517b02c /src | |
| parent | c85cd3a93298736a30ceefaffd34c3a77848a226 (diff) | |
Silence some OCaml warnings
Diffstat (limited to 'src')
| -rw-r--r-- | src/_tags | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -6,3 +6,6 @@ true: -traverse, debug # see http://caml.inria.fr/mantis/view.php?id=4943 <lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem <test/*> and not <test/*.cmxa>: use_nums, use_lem, use_str + +# disable partial match and unused variable warnings +<**/*.ml>: warn_p, warn_y |
