From: Wolfgang Bangerth Date: Tue, 10 Dec 2019 04:30:56 +0000 (-0700) Subject: Merge pull request #9069 from luca-heltai/insert-global-particles X-Git-Tag: v9.2.0-rc1~798 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae22ce0c2cf897160faec64d9f1005d685c25c4f;p=dealii.git Merge pull request #9069 from luca-heltai/insert-global-particles Insert particles globally. --- ae22ce0c2cf897160faec64d9f1005d685c25c4f diff --cc include/deal.II/particles/particle_handler.h index d9627a3723,3adec721f7..1021fb5c99 --- a/include/deal.II/particles/particle_handler.h +++ b/include/deal.II/particles/particle_handler.h @@@ -16,9 -16,8 +16,10 @@@ #ifndef dealii_particles_particle_handler_h #define dealii_particles_particle_handler_h +#include + #include + #include #include #include #include