]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e083720 057d271)
Merge pull request #490 from bangerth/fix-missing-include
authorTimo Heister <timo.heister@gmail.com>
Tue, 3 Feb 2015 13:06:15 +0000 (08:06 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 3 Feb 2015 13:06:15 +0000 (08:06 -0500)
commit72f4628bc45e62c250c43cd0544f3f5b2e0a723d
treee352646d7976d670ea310111e2f65a50868b49bbtree | snapshot
parente083720836c341483ddd3e668bf03764cdf3c8d7commit | diff
parent057d271d50c8fb030eadd8d7babc0e9c2d575662commit | diff
Merge pull request #490 from bangerth/fix-missing-include

Add a missing set of include files.

This fixes a recent regression in one of our tests (bits/serialize_hp_dof_handler) that tries
to serialize an object but that requires to know the actual type of one of the members to
be serialized to compile without error.
Mirror of the development repository for deal.II

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.