diff --git a/casadi b/casadi
index 71ad6e60f..325435855 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 71ad6e60f2b6d849f5ba0ee793128a90f18086ef
+Subproject commit 3254358552f98f86ad5f5b74d194379484e7531e