Arne Morten Kvarving b0a2fc8a67 changed: use std::nullopt ... the alternative causes some compilers to emit uninitialized use warnings		2021-07-01 09:00:56 +02:00
..
core/props	fixed: do not use Opm:: prefix when inside namespace Opm	2021-05-05 11:59:18 +02:00
simulators	changed: use std::nullopt	2021-07-01 09:00:56 +02:00