diff options
| -rw-r--r-- | src/span.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/span.cpp b/src/span.cpp index d173ceb7..579f0df0 100644 --- a/src/span.cpp +++ b/src/span.cpp @@ -64,7 +64,11 @@ void Span::bug(::std::function<void(::std::ostream&)> msg) const void Span::error(ErrorType tag, ::std::function<void(::std::ostream&)> msg) const { print_span_message(*this, [&](auto& os){os << "error:" << tag;}, msg); +#ifndef _WIN32 abort(); +#else + exit(1); +#endif } void Span::warning(WarningType tag, ::std::function<void(::std::ostream&)> msg) const { print_span_message(*this, [&](auto& os){os << "warning" << tag;}, msg); |