From: Timo Heister Date: Tue, 5 Jan 2016 21:27:06 +0000 (+0100) Subject: Merge pull request #2036 from guidokanschat/arpack_warning X-Git-Tag: v8.4.0-rc2~112 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d0e5179b7be23e98790a89a31b095b9b2e5e2a62;p=dealii.git Merge pull request #2036 from guidokanschat/arpack_warning Change the exception type to avoid the compiler warning --- d0e5179b7be23e98790a89a31b095b9b2e5e2a62