]> 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: 7805fbc)
Bugfix: Fix an include in filtered_iterator.h 1451/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 27 Aug 2015 23:40:05 +0000 (18:40 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 27 Aug 2015 23:40:05 +0000 (18:40 -0500)
include/deal.II/grid/filtered_iterator.h patch | blob | history

diff --git a/include/deal.II/grid/filtered_iterator.h b/include/deal.II/grid/filtered_iterator.h
index 0e98c5a219980159fbce664e12711d3b0a0e3bbb..a98e95324931171d913611211d9c8058c44fc1eb 100644 (file)
--- a/include/deal.II/grid/filtered_iterator.h
+++ b/include/deal.II/grid/filtered_iterator.h
@@ -21,6 +21,8 @@
 #include <deal.II/base/exceptions.h>
 #include <deal.II/grid/tria_iterator_base.h>
 
+#include <set>
+
 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.