std::uncaught_exceptions(): use > 0, not != 0.

This is more consistent.

diff --git a/source/base/hdf5.cc b/source/base/hdf5.cc
index 282ff7690a33cde1ecd832ac9e57d5ab8e5f2adc..1af74efbcee34df6530f28c3772cf4ee14c475cd 100644 (file)
--- a/source/base/hdf5.cc
+++ b/source/base/hdf5.cc
@@ -38,7 +38,7 @@ namespace HDF5
       check_exception(const std::string &type, const std::string &name)
       {
 #  ifdef DEAL_II_WITH_MPI
-        if (std::uncaught_exceptions() != 0)
+        if (std::uncaught_exceptions() > 0)
           {
             std::cerr
               << "---------------------------------------------------------\n"

diff --git a/source/base/mpi.cc b/source/base/mpi.cc
index 2523a777d3445ebeadfd163cd58b8710fc0401ce..94200c48be229f6fa7e99744d469ab3d3f5ab892 100644 (file)
--- a/source/base/mpi.cc
+++ b/source/base/mpi.cc
@@ -746,7 +746,7 @@ namespace Utilities
         check_exception()
         {
 #ifdef DEAL_II_WITH_MPI
-          if (std::uncaught_exceptions() != 0)
+          if (std::uncaught_exceptions() > 0)
             {
               std::cerr
                 << "---------------------------------------------------------\n"