From 7ef1ea003b4044c288beacbf32dfee39e6428f44 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 15 Nov 2018 09:02:28 +0100
Subject: [PATCH] SIMGRID_HAVE_MC is already defined in <simgrid/config.h>.

---
 tools/cmake/src/internal_config.h.in | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/cmake/src/internal_config.h.in b/tools/cmake/src/internal_config.h.in
index 2944eca422..d3689a724e 100644
--- a/tools/cmake/src/internal_config.h.in
+++ b/tools/cmake/src/internal_config.h.in
@@ -66,8 +66,6 @@
 #cmakedefine01 HAVE_MMALLOC
 /* process_vm_readv: transfer data between process address spaces */
 #cmakedefine01 HAVE_PROCESS_VM_READV
-/* Set to true if enable_model-checking is true and the dependencies available */
-#cmakedefine01 SIMGRID_HAVE_MC
 
 /* SMPI variables */
 /* SMPI enabled */
-- 
2.20.1