]> https://gitweb.dealii.org/ - dealii.git/commitdiff
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

index 72c3e7b76e00f38fd7c6ab3022c58617d78dcbdd..577301e0977aa42444c8b907426b2bbb873251a1 100644 (file)
@@ -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

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.