From bf28cb7570d6a58e97090406b1896c1b5472e31b Mon Sep 17 00:00:00 2001
From: casaditestbot <testbot@casadidev.org>
Date: Wed, 16 May 2018 09:02:54 +0000
Subject: [PATCH] automatic runner commit 1c41f8e

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

diff --git a/casadi b/casadi
index c868baf37..1c41f8e33 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit c868baf370273217bbbad83f42ca98c23e406bfc
+Subproject commit 1c41f8e33ccb3f4cc91930235a89787b50b8a477