dealii/dealii — pull request #31 by bangerth (2014-07-26 10:47:51+00:00)
Title: Improve error message.

This is in response to an email on the mailing list that showed an error message that wasn't particularly helpful.