summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-03-26 17:58:22 +0000
committerAlain Frisch <alain@frisch.fr>2014-03-26 17:58:22 +0000
commit2a9373dc4d701cbd44bec5cd12cdb1c430df4bd7 (patch)
treeed703996aa6618ac801f0d5ed315ab0984e7107a
parentbc2413703bee0de6e077034f5fb9b1bba4185bbd (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.ml3
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