diff --git a/thirdparty/eigen b/thirdparty/eigen index 6de0515f..7c636dd5 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 6de0515fa6b923a8fc1436e3b8c6f2a4ce565484 +Subproject commit 7c636dd5db213e50ff88d6c94fba5b9427977448