diff --git a/ParsingDriver.cc b/ParsingDriver.cc
index 93f763be0265be0e711ffc3970d5b979fe846606..7a3fbe43e2a1a7f36a1c2a767d3ff45559bc60c6 100644
--- a/ParsingDriver.cc
+++ b/ParsingDriver.cc
@@ -2383,8 +2383,7 @@ ParsingDriver::add_divide(expr_t arg1, expr_t arg2)
     }
   catch (DataTree::DivisionByZeroException)
     {
-      cerr << "...division by zero error encountred when reading model from .mod file" << endl;
-      exit(EXIT_FAILURE);
+      error("Division by zero error encountered when reading model from .mod file");
     }
 }