Update src/pyk/cli/args.py

src/pyk/cli/args.py

@@ -47,7 +47,7 @@ def generate_command_options(args: dict[str, Any]) -> LoggingOptions:
 
 class Options(object):
     def __init__(self, args: dict[str, Any]) -> None:
-        # Get defaults from all subclasses that define them, preferring the most specific class
+        # Get defaults from this and all superclasses that define them, preferring the most specific class
         defaults: dict[str, Any] = {}
         mro = type(self).mro()
         mro.reverse()