]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add missing header in subscriptor.cc 7417/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 5 Nov 2018 13:56:02 +0000 (14:56 +0100)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 5 Nov 2018 13:56:02 +0000 (14:56 +0100)
source/base/subscriptor.cc

index 1f8204c89559dd807bc4f728745063ac52c9c7a5..abde0083a0946eae85523acf6ed5163d19dcb1b8 100644 (file)
@@ -17,6 +17,7 @@
 #include <deal.II/base/subscriptor.h>
 #include <deal.II/base/thread_management.h>
 
+#include <algorithm>
 #include <iostream>
 #include <string>
 #include <typeinfo>

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.