Skip to content

fix namespace for exception errors

Alexandre Duret-Lutz requested to merge adl/mealyerrors into next
  • spot/priv/satcommon.cc, spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc: When setting exception on std::ofstream, use ofstream::failbit and ofstream::badbit instead of ifstream::failbit and ifstream::badbit.

Merge request reports