diff options
Diffstat (limited to 'virt-top/virt_top_main.ml')
-rw-r--r--[-rwxr-xr-x] | virt-top/virt_top_main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/virt-top/virt_top_main.ml b/virt-top/virt_top_main.ml index ba98e7e..4ab60ad 100755..100644 --- a/virt-top/virt_top_main.ml +++ b/virt-top/virt_top_main.ml @@ -21,6 +21,7 @@ open Curses +open Virt_top_gettext.Gettext open Virt_top (* Note: make sure we catch any exceptions and clean up the display. @@ -43,7 +44,7 @@ let error = true | exn -> if not script_mode then endwin (); - prerr_endline ("Error: " ^ Printexc.to_string exn); + prerr_endline (s_ "Error" ^ ": " ^ Printexc.to_string exn); true let () = |