diff --git a/automaton b/automaton index 49e7628eb1..a49b103475 160000 --- a/automaton +++ b/automaton @@ -1 +1 @@ -Subproject commit 49e7628eb12657cda7207486f91436255fa0fbf4 +Subproject commit a49b103475e99f479723e775024a766d7dd5f4f0