Give simgrid's host its own header file and datatype

[simgrid.git] / src / mc / mc_unw.h

diff --git a/src/mc/mc_unw.h b/src/mc/mc_unw.h
index 8e87c84..eac812d 100644 (file)
--- a/src/mc/mc_unw.h
+++ b/src/mc/mc_unw.h
@@ -5,8 +5,8 @@
 /* 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_UNW_H
-#define MC_UNW_H
+#ifndef SIMGRID_MC_UNW_H
+#define SIMGRID_MC_UNW_H
 
 /** \file
  *  Libunwind implementation for the model-checker
@@ -69,9 +69,6 @@ typedef struct s_mc_unw_context {
 XBT_INTERNAL int mc_unw_init_context(
   mc_unw_context_t context, mc_process_t process, unw_context_t* c);
 
-/** Destroys (but not not `free`) a context */
-XBT_INTERNAL int mc_unw_destroy_context(mc_unw_context_t context);
-
 // ***** Libunwind cursor
 
 /** Initialises a `libunwind` cursor */