From f9dbdfdea258cb83734176cab6d4d792a3ced491 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 16 Dec 2013 13:33:26 +0000
Subject: pretty-printer: typo

---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 
-- 
cgit v1.2.3