From b2e99dedbdbc3633a6b11362ad8d30935751d727 Mon Sep 17 00:00:00 2001
From: casaditestbot <testbot@casadidev.org>
Date: Mon, 5 Mar 2018 18:24:41 +0000
Subject: [PATCH] automatic runner commit 71ad6e6

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

diff --git a/casadi b/casadi
index 770c9be83..71ad6e60f 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 770c9be83901a3836ca0e581a7026360d3de40df
+Subproject commit 71ad6e60f2b6d849f5ba0ee793128a90f18086ef