diff --git a/Alice b/Alice
index ae466237..5d4bc821 160000
--- a/Alice
+++ b/Alice
@@ -1 +1 @@
-Subproject commit ae4662379017a6e77b9bcf99561319c84d54cb91
+Subproject commit 5d4bc821dab692144da38f0fbfefa0037c980879