diff options
Diffstat (limited to 'src/options/options_handler.cpp')
-rw-r--r-- | src/options/options_handler.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 6eed732e2..9cf5180e8 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -86,8 +86,7 @@ void OptionsHandler::notifyBeforeSearch(const std::string& option) d_options->d_beforeSearchListeners.notify(); } catch (ModalException&){ std::stringstream ss; - ss << "cannot change option `" << option - << "' after final initialization (i.e., after logic has been set)"; + ss << "cannot change option `" << option << "' after final initialization"; throw ModalException(ss.str()); } } |