diff options
Diffstat (limited to 'camlp4/unmaintained/scheme/pr_scheme.ml')
| -rw-r--r-- | camlp4/unmaintained/scheme/pr_scheme.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/unmaintained/scheme/pr_scheme.ml b/camlp4/unmaintained/scheme/pr_scheme.ml index 149b6c7cf..57f1b4c8c 100644 --- a/camlp4/unmaintained/scheme/pr_scheme.ml +++ b/camlp4/unmaintained/scheme/pr_scheme.ml @@ -203,7 +203,7 @@ pr_constr_decl.pr_levels := pr_box ppf f x = fprintf ppf "@[%t@]" f; pr_rules = extfun Extfun.empty with - [ (loc, c, []) as x -> + [ (loc, c, []) -> fun ppf curr next dg k -> fprintf ppf "(@[<hv>%s%t@]" c (ks ")" k) | (loc, c, tl) -> fun ppf curr next dg k -> |