[mc] Remove spurious declaration (remaining from previous commit)

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index d0a4159..f5d86b5 100644 (file)
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -144,8 +144,6 @@ struct XBT_PRIVATE State {
   Transition getTransition() const;
 };
 
-XBT_PRIVATE void restoreState(std::list<std::unique_ptr<simgrid::mc::State>> const& stack);
-
 }
 }