]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a necessary include file. 13112/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 23 Dec 2021 03:01:08 +0000 (20:01 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Thu, 23 Dec 2021 03:01:08 +0000 (20:01 -0700)
include/deal.II/base/thread_local_storage.h

index 10a9388b305049832c9c9a5bef154c82e6a7f43a..115df60ad7b312a1279436d66bbaee8aa64e998e 100644 (file)
@@ -24,6 +24,7 @@
 #  include <list>
 #  include <map>
 #  include <memory>
+#  include <mutex>
 #  include <shared_mutex>
 #  include <thread>
 #  include <vector>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.