]> https://gitweb.dealii.org/ - dealii.git/commit
Add a necessary include file. 6192/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 7 Apr 2018 06:13:41 +0000 (00:13 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 7 Apr 2018 06:13:41 +0000 (00:13 -0600)
commitc877cebee9e72d66bf46b1287f5df3beb6b7409c
tree60bbe519ecb82d862b025d8f038c7b3c42910623
parent19347ac13bc57c5da2bcb3853b92346d26d4eca1
Add a necessary include file.

This include file is currently transitively imported via mapping_q_generic.h, but
that may change at some point in the future. Since it's needed in grid_tools.cc, add
it explicitly.
source/grid/grid_tools.cc

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.