From 89c7c74bcf20f73fa4ab1293dc13333380315fa2 Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Mon, 25 May 2020 19:50:57 +0100 Subject: [PATCH] Remove unused set_linecache() from better_exchook2.py --- linkcheck/better_exchook2.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/linkcheck/better_exchook2.py b/linkcheck/better_exchook2.py index 51f29ac2..c5bb0919 100644 --- a/linkcheck/better_exchook2.py +++ b/linkcheck/better_exchook2.py @@ -109,10 +109,6 @@ def grep_full_py_identifiers(tokens): if token[0] in ".0123456789": continue yield token -def set_linecache(filename, source): - import linecache - linecache.cache[filename] = None, None, [line+'\n' for line in source.splitlines()], filename - def output(s, out=sys.stdout): print(s, file=out) def output_limit():