summaryrefslogtreecommitdiff
path: root/src/span.cpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@ucc.asn.au>2018-10-06 18:14:13 +0800
committerJohn Hodge <tpg@ucc.asn.au>2018-10-06 18:14:13 +0800
commit1382500b5fdba00568a86f0122bc2e78584dfb5d (patch)
treefc293328eea89d6639c4a36f268f5a1e1c826d6e /src/span.cpp
parent4a8198baca2cfcee17f83978ab71422a04d53b1a (diff)
parentbd3d69813cc54439fdc0db33943fa1254db3df06 (diff)
downloadmrust-1382500b5fdba00568a86f0122bc2e78584dfb5d.tar.gz
Merge branch 'master' of https://github.com/thepowersgang/mrustc
Diffstat (limited to 'src/span.cpp')
-rw-r--r--src/span.cpp4
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 {