diff --git a/casadi b/casadi index 8ace15c7e..54bde1c24 160000 --- a/casadi +++ b/casadi @@ -1 +1 @@ -Subproject commit 8ace15c7e4cad09ad1049efcca177c1bd1568b60 +Subproject commit 54bde1c242fbb229e05fe87310dce3371b1a4af9