From: Daniel Arndt <arndtd@ornl.gov>
Date: Thu, 21 Nov 2019 14:42:00 +0000 (-0500)
Subject: Add header
X-Git-Tag: v9.2.0-rc1~861^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21eaa116e5d0e49f538f96e2e5bec453729215e0;p=dealii.git

Add header
---

diff --git a/source/differentiation/ad/adolc_number_types.cc b/source/differentiation/ad/adolc_number_types.cc
index 72c3e7b76e..577301e097 100644
--- a/source/differentiation/ad/adolc_number_types.cc
+++ b/source/differentiation/ad/adolc_number_types.cc
@@ -21,6 +21,7 @@
 #  include <deal.II/differentiation/ad/ad_number_traits.h>
 #  include <deal.II/differentiation/ad/adolc_number_types.h>
 
+#  include <functional>
 #  include <utility>
 
 DEAL_II_NAMESPACE_OPEN