diff --git a/casadi b/casadi
index 325435855..0283a0631 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 3254358552f98f86ad5f5b74d194379484e7531e
+Subproject commit 0283a0631a914eb257331377ac86644657bc5fa6