diff options
Diffstat (limited to 'src/utils.h')
| -rw-r--r-- | src/utils.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/utils.h b/src/utils.h index 3da0a429..86cd56df 100644 --- a/src/utils.h +++ b/src/utils.h @@ -485,9 +485,9 @@ inline void check_for_signal() { case NONE_CAUGHT: break; case INTERRUPTED: - throw std::runtime_error("Interrupted by user (use Control-D to quit)"); + throw std::runtime_error(_("Interrupted by user (use Control-D to quit)")); case PIPE_CLOSED: - throw std::runtime_error("Pipe terminated"); + throw std::runtime_error(_("Pipe terminated")); } } |