From 21eaa116e5d0e49f538f96e2e5bec453729215e0 Mon Sep 17 00:00:00 2001 From: Daniel Arndt 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 # include +# include # include DEAL_II_NAMESPACE_OPEN -- 2.39.5