Fix a dead store reported by infer

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

diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp
index 6d1ec7c71f60675d1161a95bdb2af2fb05d92f99..234ea1466a2c6da6d37239dd4514f3e785a10f15 100644 (file)
--- a/src/mc/mc_exit.hpp
+++ b/src/mc/mc_exit.hpp
@@ -23,17 +23,7 @@ enum class ExitStatus {
 
 struct McError : public std::exception {
   const ExitStatus value;
 
 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) {}
+  explicit McError(ExitStatus v = ExitStatus::ERROR) : value(v) {}

 };
 } // namespace simgrid::mc
 
 };
 } // namespace simgrid::mc