diff options
Diffstat (limited to 'src/span.cpp')
| -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 3d4d1ceb..eacdc7aa 100644 --- a/src/span.cpp +++ b/src/span.cpp @@ -59,7 +59,11 @@ namespace { void Span::bug(::std::function<void(::std::ostream&)> msg) const { print_span_message(*this, [](auto& os){os << "BUG";}, msg); +#ifndef _WIN32 abort(); +#else + exit(1); +#endif } void Span::error(ErrorType tag, ::std::function<void(::std::ostream&)> msg) const { |