Delete error in windows.

[simgrid.git] / buildtools / Cmake / src / c_gras_config.h.in

diff --git a/buildtools/Cmake/src/c_gras_config.h.in b/buildtools/Cmake/src/c_gras_config.h.in
index eb89437..ef71eb1 100644 (file)
--- a/buildtools/Cmake/src/c_gras_config.h.in
+++ b/buildtools/Cmake/src/c_gras_config.h.in
@@ -1,6 +1,9 @@
 // <root>/buildtools/Cmake/src/c_gras_config.h.in is user-written.
 // With Cmake it creates <root>/src/gras_config.h
 
+/* Set to true if enable_model-checking is true */
+#cmakedefine MMALLOC_WANT_OVERIDE_LEGACY @MMALLOC_WANT_OVERIDE_LEGACY@
+
 /* Define if building universal (internal helper macro) */
 #cmakedefine AC_APPLE_UNIVERSAL_BUILD @AC_APPLE_UNIVERSAL_BUILD@