]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix a #include
authorDavid Wells <drwells@email.unc.edu>
Wed, 25 Oct 2023 12:10:31 +0000 (08:10 -0400)
committerDavid Wells <drwells@email.unc.edu>
Mon, 30 Oct 2023 20:03:00 +0000 (16:03 -0400)
include/deal.II/grid/tria_orientation.h

index 3047abb93dc7b9ab95383ec7b6ffce20e071934f..6ae943de68bef7070d48800c2de3c1fd182726d2 100644 (file)
@@ -20,7 +20,7 @@
 
 #include <deal.II/base/utilities.h>
 
-#include <vector>
+#include <tuple>
 
 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.