diff --git a/automaton b/automaton
index 31bbf1eaa3..08620dfb46 160000
--- a/automaton
+++ b/automaton
@@ -1 +1 @@
-Subproject commit 31bbf1eaa35fe2aced3b91af8d6e6601bd655832
+Subproject commit 08620dfb46bb3197b02d321b6da6a4335090d69e