From a6ec20d40da723aeed5b7caa8de65f9c81e7f860 Mon Sep 17 00:00:00 2001
From: Joris Gillis <joris.gillis42gmail.com>
Date: Mon, 16 Apr 2018 20:43:25 +0200
Subject: [PATCH] work

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

diff --git a/casadi b/casadi
index a8502d08d..924cbf24f 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit a8502d08d5f3098c55ea4f0117c55ae049d01b6d
+Subproject commit 924cbf24fbbf913545ae7e3feef60c9b69ae6e30