diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index cc054c9970..edeb21dd4b 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -430,7 +430,7 @@ and class_field i ppf x = printf "Pcf_deleg\n"; core_type (i+1) ppf t; expression (i+1) ppf e; - | Pcf_val (s, mf, e, loc) -> + | Pcf_val (s, mf, _, e, loc) -> line i ppf "Pcf_val \"%s\" %a %a\n" s fmt_mutable_flag mf fmt_location loc; expression (i+1) ppf e; |