From dcc2c92ba1e62b32f2377fd71f14570e1bd75e8c Mon Sep 17 00:00:00 2001
From: Dennis Schafroth <dif@topdanmark.dk>
Date: Mon, 23 Apr 2018 12:37:27 +0200
Subject: [PATCH] Use ASSERT_ABORT in destructor

---
 flow/IThreadPool.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flow/IThreadPool.cpp b/flow/IThreadPool.cpp
index 25c4f24a3a..fd03ebc03b 100644
--- a/flow/IThreadPool.cpp
+++ b/flow/IThreadPool.cpp
@@ -35,7 +35,7 @@ class ThreadPool : public IThreadPool, public ReferenceCounted<ThreadPool> {
 		Event stopped;
 		static thread_local IThreadPoolReceiver* threadUserObject;
 		explicit Thread(ThreadPool *pool, IThreadPoolReceiver *userObject) : pool(pool), userObject(userObject) {}
-		~Thread() { ASSERT(!userObject); }
+		~Thread() { ASSERT_ABORT(!userObject); }
 
 		void run() {
 			deprioritizeThread();