From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Mon, 5 Nov 2018 13:56:02 +0000 (+0100)
Subject: Add missing header in subscriptor.cc
X-Git-Tag: v9.1.0-rc1~578^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=36d6e826b44d3699074678a19770386b435318ed;p=dealii.git

Add missing header in subscriptor.cc
---

diff --git a/source/base/subscriptor.cc b/source/base/subscriptor.cc
index 1f8204c895..abde0083a0 100644
--- 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>