diff options
author | 2014-10-06 00:47:41 -0700 | |
---|---|---|
committer | 2014-10-06 00:47:55 -0700 | |
commit | 649c3f262daecd0392d9fd4fe169692c5385fee9 (patch) | |
tree | 74cab9fb63d898f896f9ce61b1a825b273fee579 /parse_execution.cpp | |
parent | f85ec782a0f8aaae84e8730a6847748f03f1256f (diff) |
Don't complain if no errors occurred due to cancellation
Fixes #1166
Diffstat (limited to 'parse_execution.cpp')
-rw-r--r-- | parse_execution.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parse_execution.cpp b/parse_execution.cpp index 624ce0d7..18d419ff 100644 --- a/parse_execution.cpp +++ b/parse_execution.cpp @@ -731,7 +731,7 @@ parse_execution_result_t parse_execution_context_t::report_error(const parse_nod parse_execution_result_t parse_execution_context_t::report_errors(const parse_error_list_t &error_list) const { - if (parser->show_errors) + if (parser->show_errors && ! parser->cancellation_requested) { if (error_list.empty()) { |