diff options
author | Alain Frisch <alain@frisch.fr> | 2014-03-26 17:58:22 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2014-03-26 17:58:22 +0000 |
commit | 2a9373dc4d701cbd44bec5cd12cdb1c430df4bd7 (patch) | |
tree | ed703996aa6618ac801f0d5ed315ab0984e7107a | |
parent | bc2413703bee0de6e077034f5fb9b1bba4185bbd (diff) |
More robust syntax (in case we add e.g. some 'open' statement before).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | parsing/ast_mapper.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/ast_mapper.ml b/parsing/ast_mapper.ml index 50677e3c8..03371b0ce 100644 --- a/parsing/ast_mapper.ml +++ b/parsing/ast_mapper.ml @@ -12,9 +12,10 @@ (* A generic Parsetree mapping class *) -[@@warning "+9"] +;; [@@warning "+9"] (* Ensure that record patterns don't miss any field. *) + open Parsetree open Ast_helper open Location |