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

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