diff --git a/third_party/eigen_pin.txt b/third_party/eigen_pin.txt index 18091983f59d..0062ac971805 100644 --- a/third_party/eigen_pin.txt +++ b/third_party/eigen_pin.txt @@ -1 +1 @@ -3.4.0 +5.0.0