Catch and rethrow *all* exceptions.

diff --git a/source/sundials/kinsol.cc b/source/sundials/kinsol.cc
index a1db0684e1fae3d6dc4db15c17c9c2b78494ee36..fa4d330f84af48a8e2f6361378ed723c8e982a2d 100644 (file)
--- a/source/sundials/kinsol.cc
+++ b/source/sundials/kinsol.cc
@@ -115,7 +115,7 @@ namespace SUNDIALS
         }
       // For any other exception, capture the exception and
       // return -1:
-      catch (const std::exception &)
+      catch (...)
         {
           eptr = std::current_exception();
           return -1;