Update core

[platal.git] / core

diff --git a/core b/core
index dec6c3b..5e55e93 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit dec6c3bd25f29fcd7d5a8b72e17f45bfa9f39da9
+Subproject commit 5e55e93126a54abbff414613f8065133ec5c902c