diff --git a/thirdparty/eigen b/thirdparty/eigen index bea7f7c5..1edf360e 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit bea7f7c582ab3c11a1e2773d6636aa87390a67a7 +Subproject commit 1edf360e3c2b0c0d4872f6228676e27c42e7f416