From c1008125eddca44aae097aa3eb2b47a83c9cdcfd Mon Sep 17 00:00:00 2001
From: Joris Gillis <joris.gillis42@gmail.com>
Date: Sat, 4 Jan 2020 12:52:11 +0100
Subject: [PATCH] work

---
 casadi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/casadi b/casadi
index 0f945164d..77da628ba 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 0f945164d299e0e45ab5dc4c03d23a91d3e5143e
+Subproject commit 77da628bad635f63615278208984f5fd0140bce1