]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5742 from drwells/fe-system-dereference-check
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 18 Jan 2018 22:50:36 +0000 (15:50 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Jan 2018 22:50:36 +0000 (15:50 -0700)
commit2162a5c0514efd8bb87d5869d0381e66d74d66eb
tree8be3cfb96418373fa6e95fa3785ac271661b6d9a
parentaa5f2029b132560cd6d8f491e5e1c6b9feb7c3d7
parentfb1e395e9f34de8d165e87e78de05e245d61f12f
Merge pull request #5742 from drwells/fe-system-dereference-check

Rearrange a pointer check to satisfy coverity.

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.