X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a2f940aae2205924d3bfd7882b31a798cc67d3b1..4bcfd40036f842e976d329cd0cee7349b8e0f4d6:/src/mc/mc_memory.cpp diff --git a/src/mc/mc_memory.cpp b/src/mc/mc_memory.cpp index 2864b9d35d..15015f0aba 100644 --- a/src/mc/mc_memory.cpp +++ b/src/mc/mc_memory.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2017. The SimGrid Team. +/* Copyright (c) 2008-2019. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -16,8 +16,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory, mc, "Logging specific to MC (memory)"); -extern "C" { - /* Initialize the model-checker memory subsystem */ /* It creates the two heap regions: std_heap and mc_heap */ void MC_memory_init() @@ -25,5 +23,3 @@ void MC_memory_init() if (not malloc_use_mmalloc()) xbt_die("Model-checking support is not enabled: run with simgrid-mc."); } - -}