diff options
| -rw-r--r-- | parsing/pptactic.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pptactic.ml b/parsing/pptactic.ml index f729ccd3cc..980bc63c23 100644 --- a/parsing/pptactic.ml +++ b/parsing/pptactic.ml @@ -517,7 +517,7 @@ and pr_atom1 = function | TacDecompose (l,c) -> hov 1 (str "Decompose" ++ spc () ++ hov 0 (str "[" ++ prlist_with_sep spc pr_ind l - ++ str "]")) + ++ str "]" ++ pr_arg pr_constr c)) | TacSpecialize (n,c) -> hov 1 (str "Specialize" ++ pr_opt int n ++ pr_with_bindings c) | TacLApply c -> |