diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-11-26 16:11:41 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-11-26 16:12:15 +0100 |
| commit | c528e0be4c1c6f33f568eeb97442c6f1a39249e3 (patch) | |
| tree | bf7bfd613c309987c777abe815d6d7944642a385 /toplevel/topdirs.ml | |
| parent | 864cb937573376ad98c8f32a52016bf85fc6ada5 (diff) | |
| download | ocaml-c528e0be4c1c6f33f568eeb97442c6f1a39249e3.tar.gz | |
topdirs.ml: (install,remove)_printer, test error cases
Diffstat (limited to 'toplevel/topdirs.ml')
| -rw-r--r-- | toplevel/topdirs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 7a4986e4e8..3d760fed27 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -324,7 +324,7 @@ let remove_installed_printer path = | () -> Ok () | exception Not_found -> let report ppf = - fprintf ppf "No printer named %a.@." + fprintf ppf "The printer named %a is not installed.@." Printtyp.path path in Error report |