update core.

[platal.git] / core

diff --git a/core b/core
index c80c472..7196da2 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit c80c472d71d62a56289b6d0c29a00be9cdcd4389
+Subproject commit 7196da2f6d88f876b8bd082497abe4c8170c65fd