From 03652c9300044031978e0430f2ab2a35538c1088 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 22 Dec 2021 20:01:08 -0700 Subject: [PATCH] Add a necessary include file. --- include/deal.II/base/thread_local_storage.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/deal.II/base/thread_local_storage.h b/include/deal.II/base/thread_local_storage.h index 10a9388b30..115df60ad7 100644 --- a/include/deal.II/base/thread_local_storage.h +++ b/include/deal.II/base/thread_local_storage.h @@ -24,6 +24,7 @@ # include # include # include +# include # include # include # include -- 2.39.5