]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8236ec9)
Add header
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 21 Nov 2019 14:42:00 +0000 (09:42 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Thu, 21 Nov 2019 15:19:52 +0000 (10:19 -0500)
source/differentiation/ad/adolc_number_types.cc patch | blob | history

diff --git a/source/differentiation/ad/adolc_number_types.cc b/source/differentiation/ad/adolc_number_types.cc
index 72c3e7b76e00f38fd7c6ab3022c58617d78dcbdd..577301e0977aa42444c8b907426b2bbb873251a1 100644 (file)
--- 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
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.