]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9908a4c) | patch
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
tree204a2d5c8c1bab4255ac08b5f187866a4c1b3eddtree | snapshot
parent9908a4cab628fc04ad629ff21e9cf2bd93380cf1commit | diff
Check that a stream is good while we read.

This addresses another (correct) Coverity warning.
source/base/index_set.cc diff | blob | history
Mirror of the development repository for deal.II

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.