From 253799c06da4c9b9e04082c959170048365c5e96 Mon Sep 17 00:00:00 2001 From: Tamir Duberstein Date: Mon, 27 Feb 2017 17:19:09 -0800 Subject: [PATCH] Add missing include for `abort()` Summary: Fixes #1233 (again). Closes https://github.com/facebook/rocksdb/pull/1931 Differential Revision: D4625289 Pulled By: ajkr fbshipit-source-id: 70e774e --- util/threadpool_imp.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/util/threadpool_imp.cc b/util/threadpool_imp.cc index c05c54101..19e975788 100644 --- a/util/threadpool_imp.cc +++ b/util/threadpool_imp.cc @@ -24,6 +24,7 @@ #include #include #include +#include #include #include -- GitLab