From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 3 Feb 2015 13:06:15 +0000 (-0500)
Subject: Merge pull request #490 from bangerth/fix-missing-include
X-Git-Tag: v8.3.0-rc1~504
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72f4628bc45e62c250c43cd0544f3f5b2e0a723d;p=dealii.git

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.
---

72f4628bc45e62c250c43cd0544f3f5b2e0a723d