diff --git a/kerncompat.h b/kerncompat.h
index 26d3cb7e..0cd85dc6 100644
--- a/kerncompat.h
+++ b/kerncompat.h
@@ -91,6 +91,7 @@ static inline void assert_trace(const char *assertion, const char *filename,
 		fprintf(stderr, "%s:%d: %s: Assertion failed, value %d.\n",
 			filename, line, func, val);
 	print_trace();
+	abort();
 	exit(1);
 }