diff --git a/casadi b/casadi index 61cb2e5f9..26a6cf98c 160000 --- a/casadi +++ b/casadi @@ -1 +1 @@ -Subproject commit 61cb2e5f995ba443b87e1fd643d229d8d22768e0 +Subproject commit 26a6cf98cd8cb1b544ccb65a2c354a364c8d6372