diff --git a/automaton b/automaton
index a49b103475..46a3e9e65f 160000
--- a/automaton
+++ b/automaton
@@ -1 +1 @@
-Subproject commit a49b103475e99f479723e775024a766d7dd5f4f0
+Subproject commit 46a3e9e65f6df0a80eb8a8623bf7ac884e4fdcb9