diff options
| author | Kathy Gray | 2015-10-20 14:34:13 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-10-20 14:34:23 +0100 |
| commit | 8662140c40a085a8f573ff1cf71f95a11854e797 (patch) | |
| tree | d31254ec33a1681a2370f339afbb854084baff17 | |
| parent | c40168e1bb7ad2c0cb77c928a6ae25b9f2734256 (diff) | |
more fixes
| -rw-r--r-- | src/pretty_print.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 153d9a41..31382e77 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1306,7 +1306,7 @@ let doc_pat_ocaml = (match annot with | Base(([],t),_,_,_,_,_) -> if is_bit_vector t - then parens (separate space [string "Vvector"; squarebars (separate_map semi pat pats); underscore ; underscore]) + then parens (separate space [string "Vvector"; squarebars (separate_map semi pat pats); comma; underscore ; comma; underscore]) else non_bit_print() | _ -> non_bit_print ()) | P_tup pats -> parens (separate_map comma_sp pat pats) @@ -1337,8 +1337,8 @@ let doc_exp_ocaml, doc_let_ocaml = parens (string "vector_concat ") ^^ (exp l) ^^ space ^^ (exp r) | E_cons(l,r) -> doc_op (group (colon^^colon)) (exp l) (exp r) | E_if(c,t,E_aux(E_block [], _)) -> - string "if" ^^ space ^^ string "to_bool" ^^ parens (exp c) ^/^ - string "then" ^^ space ^^ (exp t) + parnes (string "if" ^^ space ^^ string "to_bool" ^^ parens (exp c) ^/^ + string "then" ^^ space ^^ (exp t)) | E_if(c,t,e) -> parens ( string "if" ^^ space ^^ string "to_bool" ^^ parens (exp c) ^/^ |