diff --git a/_pub/js/automata.html b/_pub/js/automata.html index 430f45e..3738c4e 100644 --- a/_pub/js/automata.html +++ b/_pub/js/automata.html @@ -20,7 +20,7 @@