From c72ad9fe61c13bd5c07dfc32fdc1fb5e252f660c Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 14 Apr 2016 15:44:28 +0200
Subject: [PATCH] [mc] Remove spurious declaration (remaining from previous
 commit)

---
 src/mc/mc_state.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index d0a4159d54..f5d86b5c64 100644
--- 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);
-
 }
 }
 
-- 
2.20.1