[mc] Basic infrastructure for a real model-checker process

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

diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h
index 00a453a..c21a00b 100644 (file)
--- a/src/mc/mc_base.h
+++ b/src/mc/mc_base.h
@@ -14,11 +14,6 @@
 
 SG_BEGIN_DECL()
 
-/** Environment variable name set by `simgrid-mc` to enable MC support in the
- *  children MC processes
- */
-#define MC_ENV_VARIABLE "SIMGRIC_MC"
-
 /** Check if the given simcall can be resolved
  *
  *  \return `TRUE` or `FALSE`