diff options
| -rw-r--r-- | tools/refguide_check.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/refguide_check.py b/tools/refguide_check.py index fbc95f500..41b3e234e 100644 --- a/tools/refguide_check.py +++ b/tools/refguide_check.py @@ -826,6 +826,7 @@ def _run_doctests(tests, full_name, verbose, doctest_warnings): success = False ns = t.globs + output.seek(0) return success, output.read() |