diff options
| author | Gabriel Kerneis | 2013-12-16 13:33:26 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-16 13:33:26 +0000 |
| commit | f9dbdfdea258cb83734176cab6d4d792a3ced491 (patch) | |
| tree | 70a1b2c6926bce2e627e98ccec5d61eff0996e05 /src/pretty_print.ml | |
| parent | 8c065f5ab1b223d6cff72d88d8d1cbda235fa016 (diff) | |
pretty-printer: typo
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index ff8772a0..2ea4a2a8 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -628,7 +628,7 @@ let pp_lem_tannot_opt ppf (Typ_annot_opt_aux(t,_)) = let pp_lem_effects_opt ppf (Effect_opt_aux(e,_)) = match e with | Effect_opt_pure -> fprintf ppf "Effect_opt_pure" - | Effect_opt_effect e -> fprintf ppf "(Effect_opt_effects %a)" pp_lem_effects e + | Effect_opt_effect e -> fprintf ppf "(Effect_opt_effect %a)" pp_lem_effects e let pp_lem_funcl ppf (FCL_aux(FCL_Funcl(id,pat,exp),_)) = fprintf ppf "@[<0>(%a %a %a %a)@]@\n" kwd "FCL_Funcl" pp_lem_id id pp_lem_pat pat pp_lem_exp exp |