diff --git a/examples/BUILD b/examples/BUILD index 4d8f1bb4b..90daf212d 100644 --- a/examples/BUILD +++ b/examples/BUILD @@ -35,7 +35,7 @@ EXAMPLE_COPTS = [ EXAMPLE_DEPS = [ "//:ceres", - "@com_github_eigen_eigen//:eigen", + "@com_gitlab_libeigen_eigen//:eigen", "@com_github_gflags_gflags//:gflags", ]