diff --git a/automaton b/automaton
index aaca110187..b86ca41f65 160000
--- a/automaton
+++ b/automaton
@@ -1 +1 @@
-Subproject commit aaca11018739b27539025f8a763b41ee9deac6a8
+Subproject commit b86ca41f6560f10e453ee10f24c853d69a44596d