]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8959 from bangerth/memory
authorDaniel Arndt <arndtd@ornl.gov>
Sat, 26 Oct 2019 12:17:40 +0000 (08:17 -0400)
committerGitHub <noreply@github.com>
Sat, 26 Oct 2019 12:17:40 +0000 (08:17 -0400)
commit722f38ee86cdb134125d331ff00c738b59b5e0ad
tree863a770cf96a3122f6c7c06c563566323e2fc741
parent052e0143f84d6f7ad6ab108c9392035bfd68c2d8
parentf8fc2fadc886647186e2ba9a4d8f345aa3cf9eb5
Merge pull request #8959 from bangerth/memory

Report how much memory was requested when we fail allocating that much.
source/base/utilities.cc

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.