From d1cc86d95daa1caa34ea83984453f6abb1afec2f Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Tue, 3 Apr 2012 13:08:13 +0000 Subject: [PATCH] fix error message in HighlighterGroup --- src/highlighter_group.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/highlighter_group.cc b/src/highlighter_group.cc index 7c7e8411..e87c4816 100644 --- a/src/highlighter_group.cc +++ b/src/highlighter_group.cc @@ -15,7 +15,7 @@ void HighlighterGroup::operator()(DisplayBuffer& display_buffer) void HighlighterGroup::append(HighlighterAndId&& highlighter) { if (m_highlighters.contains(highlighter.first)) - throw runtime_error("highlighter id not found " + highlighter.first); + throw runtime_error("duplicate highlighter id: " + highlighter.first); m_highlighters.append(std::forward(highlighter)); }