diff options
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 25b81fb7..4360317a 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -990,8 +990,8 @@ let doc_exp, doc_let = | E_nondet exps -> let exps_doc = separate_map (semi ^^ hardline) exp exps in string "nondet" ^^ space ^^ (surround 2 1 lbrace exps_doc rbrace) - | E_comment s -> string ("(*" ^ s ^ "*)") - | E_comment_struc e -> string "(*" ^^ exp e ^^ string "*)" + | E_comment s -> string ("(*" ^ s ^ "*) ()") + | E_comment_struc e -> string "(*" ^^ exp e ^^ string "*) ()" | E_id id -> doc_id id | E_lit lit -> doc_lit lit | E_cast(typ,e) -> prefix 2 1 (parens (doc_typ typ)) (group (atomic_exp e)) |