From 7eb1e6dd23ef5958a7df68299f68fdc66dc354d8 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Thu, 4 Aug 2022 23:41:56 +0700 Subject: [PATCH] userPropagator: Compile as C++20. Using std::unordered_map::contains requires C++20. --- examples/userPropagator/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/userPropagator/CMakeLists.txt b/examples/userPropagator/CMakeLists.txt index 384d257dc..0a5039a2b 100644 --- a/examples/userPropagator/CMakeLists.txt +++ b/examples/userPropagator/CMakeLists.txt @@ -15,9 +15,9 @@ find_package(Z3 ) ################################################################################ -# Z3 C++ API bindings require C++11 +# Z3 C++ API bindings require C++11, but this code needs later. ################################################################################ -set(CMAKE_CXX_STANDARD 11) +set(CMAKE_CXX_STANDARD 20) set(CMAKE_CXX_STANDARD_REQUIRED ON) message(STATUS "Z3_FOUND: ${Z3_FOUND}")