diff options
Diffstat (limited to 'scripts/rpki/resource_set.py')
| -rw-r--r-- | scripts/rpki/resource_set.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/rpki/resource_set.py b/scripts/rpki/resource_set.py index e5fe2a50..3f4336ae 100644 --- a/scripts/rpki/resource_set.py +++ b/scripts/rpki/resource_set.py @@ -122,7 +122,7 @@ class resource_set(list): use this type directly. """ - def __init__(self, ini=None): + def __init__(self, ini = None): """Initialize a resource_set.""" if isinstance(ini, long): ini = str(ini) |