diff --git a/thirdparty/eigen b/thirdparty/eigen index afb43805..9b709e82 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit afb43805349cf1cbec0083d94256bb8f72cbc53b +Subproject commit 9b709e8269b901f78e872827d5eb501ea7ccf04d