diff --git a/automaton.html b/automaton.html index bff744cd49..8698d1adb7 100644 --- a/automaton.html +++ b/automaton.html @@ -44,7 +44,7 @@