diff --git a/thirdparty/eigen b/thirdparty/eigen index 7bd98698..18ddcf4b 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 7bd98698c58e4f0d2f30c3fa8fc5adf6ec185df4 +Subproject commit 18ddcf4bb95b00c71f32911989f437a6f1c94dbc