diff --git a/CMakeLists.txt b/CMakeLists.txt index 501df9e..c0e8873 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -36,8 +36,7 @@ CPMAddPackage("gh:yalibs/yaoverload@1.0.0") CPMAddPackage("gh:yalibs/yatree@1.0.1") CPMAddPackage("gh:yalibs/yatimer@1.0.0") CPMAddPackage("gh:yalibs/yahashcombine@1.0.0") -#CPMAddPackage("gh:sillydan1/argvparse@1.2.2") -CPMAddPackage("gh:sillydan1/argvparse#master") +CPMAddPackage("gh:sillydan1/argvparse@1.2.3") if(ENABLE_Z3) CPMAddPackage("gh:Z3Prover/z3#z3-4.8.17") endif()