diff options
| author | Kathy Gray | 2016-05-16 01:00:20 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-05-27 10:10:09 +0100 |
| commit | dba075ea838b6654a9ff714ca3aea6566421bbb7 (patch) | |
| tree | 57229de6636abfc1aa55584330192ec82e9d6da1 /src/pretty_print.ml | |
| parent | 6145f35df564fa9bd502619dfd812df21cd9f333 (diff) | |
small change to comment printing
Diffstat (limited to 'src/pretty_print.ml')
| -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)) |