1 files changed, 1 insertions, 1 deletions
diff --git a/lib/automata.py b/lib/automata.py
index 4aa9a97..3d62735 100755
--- a/lib/automata.py
+++ b/lib/automata.py
@@ -343,7 +343,7 @@ def _json_get_static(base, attribute: str):
 
 class PTA:
     """
-    A parameterized priced timed automaton. All states are accepting.
+    A parameterized priced timed automaton.
 
     Suitable for simulation, model storage, and (soon) benchmark generation.