From dba075ea838b6654a9ff714ca3aea6566421bbb7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 16 May 2016 01:00:20 +0100
Subject: small change to comment printing

---
 src/pretty_print.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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))
-- 
cgit v1.2.3