diff options
| -rw-r--r-- | parsing/parsetree.mli | 2 |
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} *) |