Kill a function that is unused and unimplemented

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 661fc12..ea97b21 100644 (file)
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -44,7 +44,6 @@ XBT_PUBLIC void MC_assert(int);
 XBT_PUBLIC void MC_automaton_new_propositional_symbol(const char* id, int (*fct)(void));
 XBT_PUBLIC void MC_automaton_new_propositional_symbol_pointer(const char* id, int* value);
 
-XBT_PUBLIC void MC_cut(void);
 XBT_PUBLIC void MC_ignore(void* addr, size_t size);
 
 XBT_PUBLIC void MC_ignore_heap(void* address, size_t size);
@@ -59,7 +58,6 @@ XBT_PUBLIC void MC_ignore_global_variable(const char* var_name);
 #define MC_assert(a)                    xbt_assert(a)
 #define MC_automaton_new_propositional_symbol(a, b) ((void)0)
 #define MC_automaton_new_propositional_symbol_pointer(a, b) ((void)0)
-#define MC_cut()                        ((void)0)
 #define MC_ignore(a, b)                 ((void)0)
 
 #define MC_ignore_heap(a,s)             ((void)0)

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 7d11040..d8044c3 100644 (file)
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -31,15 +31,6 @@ void MC_assert(int prop)
   }
 }
 
-void MC_cut()
-{
-  xbt_assert(mc_model_checker == nullptr);
-  if (not MC_is_active())
-    return;
-  // FIXME, We want to do this in the model-checker:
-  xbt_die("MC_cut() not implemented");
-}
-
 void MC_ignore(void* addr, size_t size)
 {
   xbt_assert(mc_model_checker == nullptr);