X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b9625f82f86db0674e911887addce45dca31b57f..86d34ae9f0559e524d3e0f12f6003ec700cb9bb5:/CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index bae099b0eb..e97ab04a00 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -795,9 +795,7 @@ endif()
 
 if (enable_model-checking AND (NOT ("cxx_std_14" IN_LIST known_features)))
   message(WARNING "C++14 not found. The model-checker will use a slow hash function. You should upgrade your compiler")
-  set(SG_HAVE_CPP14 0)
 else()
-  set(SG_HAVE_CPP14 1)
   set_property(TARGET simgrid PROPERTY CXX_STANDARD 14)    
 endif()