fix a bug in mpir_config.py

This commit is contained in:
Brian Gladman 2020-06-25 16:59:45 +01:00
parent 31f9ff38b6
commit fc9bf66bdb

View File

@ -6,7 +6,7 @@ Copyright (C) 2011, 2012, 2013, 2014 Brian Gladman
from operator import itemgetter
from os import scandir, walk, unlink, makedirs, mkdir
from os.path import join, split, splitext, isdir, exists
from os.path import join, split, splitext, isdir, isfile, exists
from os.path import dirname, abspath, relpath, realpath
from copy import deepcopy
from sys import argv, exit, path