]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12074 from marcfehling/bug-predict-error
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 22 Apr 2021 21:57:03 +0000 (23:57 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 21:57:03 +0000 (23:57 +0200)
commit1dc1051882e593b4e69999cdfe7bf184e5f90135
tree90191459f9282fa557b641bf67f57496afce546b
parentb635db2697bda176a04b46a2dd8f30451de71aad
parentac65fb32381315abd251d5120fdf73db62efb9eb
Merge pull request #12074 from marcfehling/bug-predict-error

Bugfix: `hp::Refinement::predict_error` - cast to int

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.