diff --git a/paper/oneautomaton-cgo24-preprint.pdf b/paper/oneautomaton-cgo24-preprint.pdf index cde9c48..d50b06f 100644 Binary files a/paper/oneautomaton-cgo24-preprint.pdf and b/paper/oneautomaton-cgo24-preprint.pdf differ