diff --git a/automaton b/automaton
index 1161c1c60c..8f1e436613 160000
--- a/automaton
+++ b/automaton
@@ -1 +1 @@
-Subproject commit 1161c1c60cc896b7f44942466e9edbce45368f6a
+Subproject commit 8f1e43661322310cbf72c4ef3baf96f0d58e8d9f