From dd1a7727819872278d0f0e2218f0b4dd6e029b3e Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Thu, 28 Nov 2024 11:22:51 +0100
Subject: [PATCH] Move to C++20

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 391bacf..aff23a3 100644
--- 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