From 97eaac987528ed0a0532c3c8042ac874c7ffea91 Mon Sep 17 00:00:00 2001 From: Sebastian Date: Mon, 19 Jun 2023 18:39:06 +0200 Subject: [PATCH] 35668: pycodestyle fix --- src/sage/doctest/control.py | 1 - 1 file changed, 1 deletion(-) diff --git a/src/sage/doctest/control.py b/src/sage/doctest/control.py index 7a7428bb78c..802f185d363 100644 --- a/src/sage/doctest/control.py +++ b/src/sage/doctest/control.py @@ -422,7 +422,6 @@ def __init__(self, options, args): feature_names = set([f.name for f in all_features() if f.is_optional()]) options.hide = options.hide.union(feature_names) - options.disabled_optional = set() if isinstance(options.optional, str): s = options.optional.lower()