From a815289d2e8a03245420bbe6894b88adfd4ad157 Mon Sep 17 00:00:00 2001 From: Bruce Eckel Date: Sat, 16 May 2015 11:46:30 -0700 Subject: [PATCH] Removed external dependency --- tools/Examples.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tools/Examples.py b/tools/Examples.py index 6f29eec9..9b0d16e2 100644 --- a/tools/Examples.py +++ b/tools/Examples.py @@ -9,7 +9,6 @@ import re import shutil import pprint import difflib -from sortedcontainers import SortedSet from collections import defaultdict from betools import CmdLine, visitDir, ruler, head @@ -85,8 +84,8 @@ def compareWithGithub(shortForm=True): if duplicates: print("duplicates = ", duplicates) - githubfiles = SortedSet(githubfiles) - destfiles = SortedSet(destfiles) + githubfiles = set(githubfiles) + destfiles = set(destfiles) runOutput = re.compile("/\* Output:.*///:~", re.DOTALL) differ = difflib.Differ()