From b1111c9c28e61ae1bb35a156ba1af74ca01bfc70 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 4 Oct 2013 16:33:18 +0100
Subject: Missing case in pattern-matching

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

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 0612d78b..46484860 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -368,6 +368,7 @@ let rec pp_format_typ_lem (Typ_aux(t,_)) =
                             (pp_format_effects_lem efct) ^ ")"
   | Typ_tup(typs) -> "(Typ_tup [" ^ (list_format "; " pp_format_typ_lem typs) ^ "])"
   | Typ_app(id,args) -> "(Typ_app " ^ (pp_format_id_lem id) ^ " [" ^ (list_format "; " pp_format_typ_arg_lem args) ^ "])"
+  | Typ_wild -> "Typ_wild"
 and pp_format_nexp_lem (Nexp_aux(n,_)) = 
   match n with
   | Nexp_id(id) -> "(Nexp_id " ^ pp_format_id_lem id ^ ")"
-- 
cgit v1.2.3