fix #3422

2022-08-29 16:53:29 +02:00
parent 8c15d11820
commit c7c7b46082
2 changed files with 2 additions and 2 deletions
--- a/2
+++ b/2
@@ -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",
 )

--- 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)