X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6b76ba4acd263f00d310287d7f891abfcda1c2f9..0cfb40d124549f4dde6f00095847de0d04828adf:/src/mc/mc_mmalloc.h

diff --git a/src/mc/mc_mmalloc.h b/src/mc/mc_mmalloc.h
index 4ceecbd9df..e69de29bb2 100644
--- a/src/mc/mc_mmalloc.h
+++ b/src/mc/mc_mmalloc.h
@@ -1,38 +0,0 @@
-/* Copyright (c) 2007-2014. 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. */
-
-#ifndef MC_MMALLOC_H
-#define MC_MMALLOC_H
-
-#include <xbt/mmalloc.h>
-
-/** file
- *  Support for seperate heaps.
- *
- *  The possible memory modes for the modelchecker are standard and raw.
- *  Normally the system should operate in std, for switching to raw mode
- *  you must wrap the code between MC_SET_RAW_MODE and MC_UNSET_RAW_MODE.
- */
- 
-extern xbt_mheap_t std_heap;
-extern xbt_mheap_t mc_heap;
-
-/* FIXME: Horrible hack! because the mmalloc library doesn't provide yet of */
-/* an API to query about the status of a heap, we simply call mmstats and */
-/* because I now how does structure looks like, then I redefine it here */
-
-/* struct mstats { */
-/*   size_t bytes_total;           /\* Total size of the heap. *\/ */
-/*   size_t chunks_used;           /\* Chunks allocated by the user. *\/ */
-/*   size_t bytes_used;            /\* Byte total of user-allocated chunks. *\/ */
-/*   size_t chunks_free;           /\* Chunks in the free list. *\/ */
-/*   size_t bytes_free;            /\* Byte total of chunks in the free list. *\/ */
-/* }; */
-
-#define MC_SET_MC_HEAP    mmalloc_set_current_heap(mc_heap)
-#define MC_SET_STD_HEAP  mmalloc_set_current_heap(std_heap)
-
-#endif