summaryrefslogtreecommitdiffstats
path: root/typing/printtyped.ml
diff options
context:
space:
mode:
Diffstat (limited to 'typing/printtyped.ml')
-rw-r--r--typing/printtyped.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/printtyped.ml b/typing/printtyped.ml
index ec96b8050..c5905bb8f 100644
--- a/typing/printtyped.ml
+++ b/typing/printtyped.ml
@@ -477,6 +477,7 @@ and class_type_declaration i ppf x =
and class_expr i ppf x =
line i ppf "class_expr %a\n" fmt_location x.cl_loc;
+ attributes i ppf x.cl_attributes;
let i = i+1 in
match x.cl_desc with
| Tcl_ident (li, _, l) ->