diff --git a/src/base/debug.cpp b/src/base/debug.cpp
index 9af43b4c0..e6d6ced26 100644
--- a/src/base/debug.cpp
+++ b/src/base/debug.cpp
@@ -48,6 +48,7 @@ int base_assert(const char* condition, const char* file, int lineNum)
   text += ": Assertion failed: ";
   text += condition;
   std::cerr << text << std::endl;
+  std::abort();
   return 1;
 
 #endif