From 33a529617d6f69651241b768c9cd9d1316a66466 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 8 May 2017 12:32:44 +0100
Subject: put failwith in brackets to avoid parse error.

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

(limited to 'src')

diff --git a/src/pretty_print_ocaml.ml b/src/pretty_print_ocaml.ml
index c8c0bb86..94c524c2 100644
--- a/src/pretty_print_ocaml.ml
+++ b/src/pretty_print_ocaml.ml
@@ -135,7 +135,7 @@ let doc_lit_ocaml in_pat (L_aux(l,_)) =
        "(big_int_of_int (" ^ s ^ "))"
   | L_hex n -> "(num_to_vec " ^ ("0x" ^ n) ^ ")" (*shouldn't happen*)
   | L_bin n -> "(num_to_vec " ^ ("0b" ^ n) ^ ")" (*shouldn't happen*)
-  | L_undef -> "failwith \"undef literal not supported\"" (* XXX Undef vectors get handled with to_vec_undef. We could support undef bit but would need to check type. For the moment treat as runtime error.  *)
+  | L_undef -> "(failwith \"undef literal not supported\")" (* XXX Undef vectors get handled with to_vec_undef. We could support undef bit but would need to check type. For the moment treat as runtime error.  *)
   | L_string s -> "\"" ^ s ^ "\"")
 
 (* typ_doc is the doc for the type being quantified *)
-- 
cgit v1.2.3