diff options
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index 114665bada..a4c50cf755 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -617,7 +617,7 @@ let _ = (function [] -> (fun () -> let l = Pfedit.get_all_proof_names() in - mSGNL (print_idl l)) + mSGNL (prlist_with_sep pr_spc print_id l)) | _ -> bad_vernac_args "ShowProofs") let _ = |