From 6219c5d75da4ebda166c881981bc018080fd8c91 Mon Sep 17 00:00:00 2001 From: David Wells Date: Wed, 25 Oct 2023 08:10:31 -0400 Subject: [PATCH] Fix a #include --- include/deal.II/grid/tria_orientation.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/deal.II/grid/tria_orientation.h b/include/deal.II/grid/tria_orientation.h index 3047abb93d..6ae943de68 100644 --- a/include/deal.II/grid/tria_orientation.h +++ b/include/deal.II/grid/tria_orientation.h @@ -20,7 +20,7 @@ #include -#include +#include DEAL_II_NAMESPACE_OPEN -- 2.39.5