diff options
| author | Hugo Herbelin | 2015-07-03 21:28:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 19:13:52 +0200 |
| commit | 7532f3243ba585f21a8f594d3dc788e38dfa2cb8 (patch) | |
| tree | 5857384e1cfc4007f849ae87721567e12100559b /pretyping | |
| parent | 27fb880ab6924ec20ce44aeaeb8d89592c1b91cd (diff) | |
Hopefully clearer printing of stack when debugging evarconv unification.
Diffstat (limited to 'pretyping')
| -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 |