MC: inline a function that is now trivial

[simgrid.git] / src / mc / sosp / mc_checkpoint.cpp

diff --git a/src/mc/sosp/mc_checkpoint.cpp b/src/mc/sosp/mc_checkpoint.cpp
index c300c47..24f38d6 100644 (file)
--- a/src/mc/sosp/mc_checkpoint.cpp
+++ b/src/mc/sosp/mc_checkpoint.cpp
@@ -96,14 +96,5 @@ void find_object_address(std::vector<simgrid::xbt::VmMap> const& maps, simgrid::
   xbt_assert(result->start_exec || result->start_rw || result->start_ro);
 }
 
-
-std::shared_ptr<simgrid::mc::Snapshot> take_snapshot(int num_state)
-{
-  XBT_DEBUG("Taking snapshot %i", num_state);
-
-  std::shared_ptr<simgrid::mc::Snapshot> snapshot = std::make_shared<simgrid::mc::Snapshot>(num_state);
-  return snapshot;
-}
-
 } // namespace mc
 } // namespace simgrid