diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -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 9a5e7ca944..6036e975e3 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -518,7 +518,7 @@ and class_field = { pcf_desc: class_field_desc; pcf_loc: Location.t; - pcf_attributes: attributes; (* ... [@id1] [@id2] *) + pcf_attributes: attributes; (* ... [@@id1] [@@id2] *) } and class_field_desc = |