From d334942e825c80f2e9cb29a47c7a58419aee9c21 Mon Sep 17 00:00:00 2001 From: mwichro <32612987+mwichro@users.noreply.github.com> Date: Thu, 6 Sep 2018 19:23:58 +0200 Subject: [PATCH] Ordering of files --- source/base/mpi.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/base/mpi.cc b/source/base/mpi.cc index 8e952529ae..4d11be17e8 100644 --- a/source/base/mpi.cc +++ b/source/base/mpi.cc @@ -24,8 +24,8 @@ #include #include -#include #include +#include #ifdef DEAL_II_WITH_TRILINOS # ifdef DEAL_II_WITH_MPI -- 2.39.5