From 21eaa116e5d0e49f538f96e2e5bec453729215e0 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <arndtd@ornl.gov>
Date: Thu, 21 Nov 2019 09:42:00 -0500
Subject: [PATCH] Add header

---
 source/differentiation/ad/adolc_number_types.cc | 1 +
 1 file changed, 1 insertion(+)

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