diff --git a/WORKSPACE b/WORKSPACE index 7b98a55fc2..c170994b38 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -77,7 +77,7 @@ new_git_repository( build_file = "//bazel:scip.BUILD", patches = ["//bazel:scip.patch"], patch_args = ["-p1"], - tag = "v800", + tag = "v801", remote = "https://github.com/scipopt/scip.git", ) diff --git a/cmake/dependencies/CMakeLists.txt b/cmake/dependencies/CMakeLists.txt index 73d1303332..7220aa6430 100644 --- a/cmake/dependencies/CMakeLists.txt +++ b/cmake/dependencies/CMakeLists.txt @@ -223,7 +223,7 @@ if(BUILD_SCIP) FetchContent_Declare( scip GIT_REPOSITORY "https://github.com/scipopt/scip.git" - GIT_TAG "v800" + GIT_TAG "v801" ) FetchContent_MakeAvailable(scip) set(LPI_GLOP_SRC ${scip_SOURCE_DIR}/src/lpi/lpi_glop.cpp PARENT_SCOPE)