diff --git a/casadi b/casadi index e36e6702e..770c9be83 160000 --- a/casadi +++ b/casadi @@ -1 +1 @@ -Subproject commit e36e6702e4d126ba2800cbc21201aa5f824abab3 +Subproject commit 770c9be83901a3836ca0e581a7026360d3de40df