Forgot to update the argvparse dependency

sillydan1 · Jul 19, 2022 · 5b5d820 · 5b5d820
1 parent 333abe5
commit 5b5d820
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -36,8 +36,7 @@ CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
-#CPMAddPackage("gh:sillydan1/[email protected]")
-CPMAddPackage("gh:sillydan1/argvparse#master")
+CPMAddPackage("gh:sillydan1/[email protected]")
 if(ENABLE_Z3)
     CPMAddPackage("gh:Z3Prover/z3#z3-4.8.17")
 endif()