mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
this lead to a compiler warning on gcc 4.8 that this case was already covered by catching std::exception. Since we did the same in both branches anyway, these statements were not required...