diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index ba9a8188c..17ed88a68 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -378,10 +378,11 @@ and type_declaration i ppf x = option (i+1) core_type ppf x.ptype_manifest and attributes i ppf l = + let i = i + 1 in List.iter (fun (s, arg) -> line i ppf "attribute \"%s\"\n" s; - expression i ppf arg; + expression (i + 1) ppf arg; ) l |