From 3fcac711376edfd2e5adb3f635478fb1636b8b76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Gilles?= <sebastien.gilles@inria.fr>
Date: Mon, 3 Oct 2022 17:03:33 +0200
Subject: [PATCH] Heed CMake warning.

---
 HandsOn/Config/cmake/Settings.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/HandsOn/Config/cmake/Settings.cmake b/HandsOn/Config/cmake/Settings.cmake
index 68b6bd2..e8574e9 100644
--- a/HandsOn/Config/cmake/Settings.cmake
+++ b/HandsOn/Config/cmake/Settings.cmake
@@ -20,5 +20,5 @@ if(NOT CMAKE_BUILD_TYPE AND NOT CMAKE_CONFIGURATION_TYPES)
 endif()
 
 
-set(CMAKE_CXX_STANDARD 17 CACHE INTEGER "Version of the C++ standard to use")
-set(CMAKE_CXX_EXTENSIONS OFF CACHE BOOL "If ON the GNU version of the standard is used.")
\ No newline at end of file
+set(CMAKE_CXX_STANDARD 17 CACHE STRING "Version of the C++ standard to use")
+set(CMAKE_CXX_EXTENSIONS OFF CACHE BOOL "If ON the GNU version of the standard is used.")
-- 
GitLab