From 8a6d7a5d4125bcae90d8be054624968423dd9e72 Mon Sep 17 00:00:00 2001
From: Albert Zeyer <albert.zeyer@rwth-aachen.de>
Date: Sun, 22 May 2016 16:54:14 +0200
Subject: [PATCH] core

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

diff --git a/core b/core
index 141bced7..4a462f85 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 141bced73f6efa7b3b6ab41628446aba8ac4c00b
+Subproject commit 4a462f859e2bfb709e98e9c85174ef0e594833ef