From ce29417317ee24bca0ca0e4f4b672bd77d6ab78e Mon Sep 17 00:00:00 2001
From: casaditestbot <testbot@casadidev.org>
Date: Thu, 3 May 2018 06:26:17 +0000
Subject: [PATCH] automatic runner commit 54bde1c

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

diff --git a/casadi b/casadi
index 8ace15c7e..54bde1c24 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 8ace15c7e4cad09ad1049efcca177c1bd1568b60
+Subproject commit 54bde1c242fbb229e05fe87310dce3371b1a4af9