From 36d6e826b44d3699074678a19770386b435318ed Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Mon, 5 Nov 2018 14:56:02 +0100
Subject: [PATCH] Add missing header in subscriptor.cc

---
 source/base/subscriptor.cc | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.5