From: Daniel Arndt Date: Sun, 15 Dec 2019 03:08:07 +0000 (-0500) Subject: Fix particles/extract_index_set_01 X-Git-Tag: v9.2.0-rc1~782^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9173%2Fhead;p=dealii.git Fix particles/extract_index_set_01 --- diff --git a/tests/particles/extract_index_set_01.cc b/tests/particles/extract_index_set_01.cc index 29eab28a0e..ec4a5b97b8 100644 --- a/tests/particles/extract_index_set_01.cc +++ b/tests/particles/extract_index_set_01.cc @@ -22,6 +22,7 @@ #include +#include #include #include