X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e30d391831c58e590aa83dce5f30f218cc3f53ce..4bcfd40036f842e976d329cd0cee7349b8e0f4d6:/src/mc/mc_private.hpp diff --git a/src/mc/mc_private.hpp b/src/mc/mc_private.hpp index b8d4f1b4cd..d12942f6fd 100644 --- a/src/mc/mc_private.hpp +++ b/src/mc/mc_private.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -45,7 +45,7 @@ XBT_PRIVATE void find_object_address(std::vector const& map simgrid::mc::ObjectInformation* result); XBT_PRIVATE -int snapshot_compare(int num1, simgrid::mc::Snapshot* s1, int num2, simgrid::mc::Snapshot* s2); +int snapshot_compare(Snapshot* s1, Snapshot* s2); // Move is somewhere else (in the LivenessChecker class, in the Session class?): extern XBT_PRIVATE xbt_automaton_t property_automaton;