diff --git a/casadi b/casadi index 16e4b6b0d..c868baf37 160000 --- a/casadi +++ b/casadi @@ -1 +1 @@ -Subproject commit 16e4b6b0dd05373969719814d36bb78e48ed90a1 +Subproject commit c868baf370273217bbbad83f42ca98c23e406bfc