diff --git a/casadi b/casadi
index 8f1f6b14b..1291fe3fb 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 8f1f6b14b4e3cf6f8905c2089bd1b2b562c8914e
+Subproject commit 1291fe3fb6866c7e1e5e45bca8d9d92afbd9d995