summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-12-23 16:52:51 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-12-23 16:52:51 +0000
commitae7b68f2305211f8931119793ffe2de004b51413 (patch)
tree28bf220c688982753f76509dc0b78631e928c7e3
parentf804ae6481ab334c1340333fa8f4fadac1440548 (diff)
PR#6663: A misleading typo in parsetree.mli
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--parsing/parsetree.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli
index 5d9162bbf..2dfa85e8e 100644
--- a/parsing/parsetree.mli
+++ b/parsing/parsetree.mli
@@ -36,7 +36,7 @@ and attributes = attribute list
and payload =
| PStr of structure
| PTyp of core_type (* : T *)
- | PPat of pattern * expression option (* : P or : P when E *)
+ | PPat of pattern * expression option (* ? P or ? P when E *)
(** {2 Core language} *)