mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
remove unused modules
This commit is contained in:
parent
f458423868
commit
024923526b
|
@ -8,7 +8,6 @@
|
|||
############################################
|
||||
import sys
|
||||
import os
|
||||
import glob
|
||||
import re
|
||||
import getopt
|
||||
import shutil
|
||||
|
@ -17,7 +16,6 @@ from fnmatch import fnmatch
|
|||
import distutils.sysconfig
|
||||
import compileall
|
||||
import subprocess
|
||||
import string
|
||||
|
||||
def getenv(name, default):
|
||||
try:
|
||||
|
|
Loading…
Reference in a new issue