diff options
Diffstat (limited to 'contrib/correctness/peffect.ml')
| -rw-r--r-- | contrib/correctness/peffect.ml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/contrib/correctness/peffect.ml b/contrib/correctness/peffect.ml index 1db31269b..c6e1636c6 100644 --- a/contrib/correctness/peffect.ml +++ b/contrib/correctness/peffect.ml @@ -143,17 +143,17 @@ open Util open Himsg let pp (r,w) = - hOV 0 [< if r<>[] then - [< 'sTR"reads "; - prlist_with_sep (fun () -> [< 'sTR","; 'sPC >]) pr_id r >] - else [< >]; - 'sPC; + hov 0 (if r<>[] then + (str"reads " ++ + prlist_with_sep (fun () -> (str"," ++ spc ())) pr_id r) + else (mt ()) ++ + spc () ++ if w<>[] then - [< 'sTR"writes "; - prlist_with_sep (fun ()-> [< 'sTR","; 'sPC >]) pr_id w >] - else [< >] - >] + (str"writes " ++ + prlist_with_sep (fun ()-> (str"," ++ spc ())) pr_id w) + else (mt ()) +) let ppr e = - pP (pp e) + Pp.pp (pp e) |