From 5ad43e6a9ffd677c3ba1b381de00027f8c272e2c Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 20 May 2014 15:07:47 +0100
Subject: Fix pattern-matching exhaustiveness

---
 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 9f0382f5..e728e8a9 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -1146,6 +1146,7 @@ let doc_exp, doc_let =
   (* adding parens and loop for lower precedence *)
   | E_app (_, _)|E_vector_access (_, _)|E_vector_subrange (_, _, _)
   | E_cons (_, _)|E_field (_, _)|E_assign (_, _)
+  | E_if _ | E_for _ | E_let _
   | E_app_infix (_,
     (* for every app_infix operator caught at a higher precedence,
      * we need to wrap around with parens *)
-- 
cgit v1.2.3