From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 31 Dec 2014 14:30:32 +0000 (-0800)
Subject: Merge pull request #394 from tjhei/simplify_cast
X-Git-Tag: v8.3.0-rc1~575
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a8f1d5a95cbb5bdf6187bf5960a81ac475b992f;p=dealii.git

Merge pull request #394 from tjhei/simplify_cast

simplify cast
---

9a8f1d5a95cbb5bdf6187bf5960a81ac475b992f