From 42d19d221b79c23d76893ce134a6db522228b889 Mon Sep 17 00:00:00 2001
From: casaditestbot <testbot@casadidev.org>
Date: Wed, 2 Sep 2020 20:08:12 +0000
Subject: [PATCH] automatic runner commit 1291fe3

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

diff --git a/casadi b/casadi
index 8f1f6b14b..1291fe3fb 160000
--- a/casadi
+++ b/casadi
@@ -1 +1 @@
-Subproject commit 8f1f6b14b4e3cf6f8905c2089bd1b2b562c8914e
+Subproject commit 1291fe3fb6866c7e1e5e45bca8d9d92afbd9d995