diff options
| -rw-r--r-- | tools/refguide_check.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/refguide_check.py b/tools/refguide_check.py index b3891c5cb..43051d7e1 100644 --- a/tools/refguide_check.py +++ b/tools/refguide_check.py @@ -388,8 +388,8 @@ def check_items(all_dict, names, deprecated, others, module_name, dots=True): output += "Objects in refguide: %i\n\n" % num_ref only_all, only_ref, missing = compare(all_dict, others, names, module_name) - dep_in_ref = set(only_ref).intersection(deprecated) - only_ref = set(only_ref).difference(deprecated) + dep_in_ref = only_ref.intersection(deprecated) + only_ref = only_ref.difference(deprecated) if len(dep_in_ref) > 0: output += "Deprecated objects in refguide::\n\n" |