Add missing header in subscriptor.cc

diff --git a/source/base/subscriptor.cc b/source/base/subscriptor.cc
index 1f8204c89559dd807bc4f728745063ac52c9c7a5..abde0083a0946eae85523acf6ed5163d19dcb1b8 100644 (file)
--- a/source/base/subscriptor.cc
+++ b/source/base/subscriptor.cc
@@ -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>