Move to C++20 (#5)

moves-rwth · Nov 28, 2024 · 35434d0 · 35434d0
2 parents 64c49b4 + dd1a772
commit 35434d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -4,7 +4,7 @@ cmake_minimum_required(VERSION 3.16)
 project(storm-project-starter VERSION 1.0)
 
 # specify the C++ standard
-set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD 20)
 set(CMAKE_CXX_STANDARD_REQUIRED True)
 
 # search for Storm library