]> https://gitweb.dealii.org/ - dealii.git/commit
Check that a stream is good while we read. 4418/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 26 May 2017 16:03:29 +0000 (10:03 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 26 May 2017 16:03:29 +0000 (10:03 -0600)
commit4dae46e968aa0a3be8a5ab10073d6577a3c380a9
tree204a2d5c8c1bab4255ac08b5f187866a4c1b3edd
parent9908a4cab628fc04ad629ff21e9cf2bd93380cf1
Check that a stream is good while we read.

This addresses another (correct) Coverity warning.
source/base/index_set.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.