was trying to catch an exception that coverity said was being thrown... i cant see it get thrown...

1 files changed, 4 insertions, 0 deletions

diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp
index 46d23b9..29300cd 100644
--- a/mutator-lvl0.cpp
+++ b/mutator-lvl0.cpp
@@ -7776,6 +7776,10 @@ int main(int argc, const char **argv)
   {
     std::cerr << E1.what() << std::endl;
   }
+  catch (std::domain_error &E2)
+  {
+    std::cerr << E2.what() << std::endl;
+  }
 
   return RunResult;
 }