Remove useless specialized exceptions from simgrid::mc.

[simgrid.git] / src / mc / mc_exit.hpp

diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp
index 6d1ec7c..3bb6cdd 100644 (file)
--- a/src/mc/mc_exit.hpp
+++ b/src/mc/mc_exit.hpp
@@ -25,16 +25,6 @@ struct McError : public std::exception {
   const ExitStatus value;
   McError(ExitStatus v = ExitStatus::ERROR) : value(v) {}
 };
-
-struct DeadlockError : public McError {
-  DeadlockError() : McError(ExitStatus::DEADLOCK) {}
-};
-struct TerminationError : public McError {
-  TerminationError() : McError(ExitStatus::NON_TERMINATION) {}
-};
-struct LivenessError : public McError {
-  LivenessError() : McError(ExitStatus::LIVENESS) {}
-};
 } // namespace simgrid::mc
 
 #endif