From f59ee0e803bec796c2dc227df9153366a6dd499b Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 21 Jun 2012 11:53:21 +0200
Subject: [PATCH] let model-checking compile without supernovae activated, too

---
 src/mc/mc_global.c  | 1 -
 src/mc/mc_private.h | 5 +++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 70fa118497..dd6761cee2 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -336,7 +336,6 @@ void MC_replay_liveness(xbt_fifo_t stack, int all_stack)
   XBT_DEBUG("**** End Replay ****");
 }
 
-
 /**
  * \brief Dumps the contents of a model-checker's stack and shows the actual
  *        execution trace
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index f4e549911f..9a0ee71e1f 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -267,5 +267,10 @@ void MC_show_stack_liveness(xbt_fifo_t stack);
 void MC_dump_stack_liveness(xbt_fifo_t stack);
 void MC_pair_stateless_delete(mc_pair_stateless_t pair);
 
+/********************************** Configuration of MC **************************************/
+
+extern int _surf_do_mc_checkpoint;
+extern xbt_fifo_t mc_stack_safety;
+
 
 #endif
-- 
2.20.1