diff options
| -rw-r--r-- | pretyping/reductionops.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pretyping/reductionops.ml b/pretyping/reductionops.ml index dc70f36ccf..2892de7c45 100644 --- a/pretyping/reductionops.ml +++ b/pretyping/reductionops.ml @@ -306,7 +306,9 @@ struct | Update t -> str "ZUpdate(" ++ pr_c t ++ str ")" and pr pr_c l = let open Pp in - prlist_with_sep pr_semicolon (fun x -> hov 1 (pr_member pr_c x)) l + str "[" ++ + prlist_with_sep pr_semicolon (fun x -> hov 1 (pr_member pr_c x)) l ++ + str "]" and pr_cst_member pr_c c = let open Pp in |