From 69010a4328be6e26ecb8e14073cb16c30a38d52c Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 20 Apr 2017 11:43:43 +0100
Subject: add brackets around integer literals so that ocaml parses them
 correctly and doesn't mistake the - for minus operator

---
 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 9ba2a3bf..fb6dd99f 100644
--- a/src/pretty_print_ocaml.ml
+++ b/src/pretty_print_ocaml.ml
@@ -127,7 +127,7 @@ let doc_lit_ocaml in_pat (L_aux(l,_)) =
   | L_one   -> "Vone"
   | L_true  -> "Vone"
   | L_false -> "Vzero"
-  | L_num i -> "(big_int_of_int " ^ (string_of_int i) ^ ")"
+  | L_num i -> "(big_int_of_int (" ^ (string_of_int i) ^ "))"
   | 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.  *)
-- 
cgit v1.2.3