userPropagator: Compile as C++20.

Using std::unordered_map::contains requires C++20.
Z3Prover · Aug 5, 2022 · 7eb1e6d · 7eb1e6d
1 parent 1d9345c
commit 7eb1e6d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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}")