]> 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: c62be31)
include/deal.II/optimization/line_minimization.h add missing include 14699/head
authorMatthias Maier <tamiko@43-1.org>
Wed, 18 Jan 2023 16:53:27 +0000 (10:53 -0600)
committerMatthias Maier <tamiko@43-1.org>
Wed, 18 Jan 2023 16:59:48 +0000 (10:59 -0600)
include/deal.II/optimization/line_minimization.h patch | blob | history

diff --git a/include/deal.II/optimization/line_minimization.h b/include/deal.II/optimization/line_minimization.h
index 22ddd17062bf95935b2111d5b9f2d21d21bc1aa4..b5478e9f1c23ddae6a213b9c242362e0d6199147 100644 (file)
--- a/include/deal.II/optimization/line_minimization.h
+++ b/include/deal.II/optimization/line_minimization.h
@@ -27,6 +27,7 @@
 
 #include <algorithm>
 #include <fstream>
+#include <functional>
 #include <limits>
 #include <string>
 
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.