diff --git a/automaton b/automaton index ec6c8bcd3c..74d1c4cb0d 160000 --- a/automaton +++ b/automaton @@ -1 +1 @@ -Subproject commit ec6c8bcd3ce0b7b43a1fa7b1ccccb91bb511fbb1 +Subproject commit 74d1c4cb0dde77445e61ac48f6b623a4c4a802c9