Kill an unimplemented declaration

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index c4b1894..87b1e0e 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -30,9 +30,6 @@ class ModelChecker {
 
   unsigned long visited_states_ = 0;
 
-  // Expect MessageType::SIMCALL_TO_STRING or MessageType::SIMCALL_DOT_LABEL
-  std::string simcall_to_string(MessageType type, aid_t aid, int times_considered);
-
 public:
   ModelChecker(ModelChecker const&) = delete;
   ModelChecker& operator=(ModelChecker const&) = delete;