mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-10 08:03:25 +00:00
Code Activity

fixed log output typo

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-11-03 17:13:02 +00:00
parent c0fb2eafe5
commit 6e0369036e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1591,7 +1591,7 @@ class DotNetDLLComponent(Component):
elif os.path.isfile(os.path.join(self.src_dir, self.key_file)): elif os.path.isfile(os.path.join(self.src_dir, self.key_file)):
self.key_file = os.path.abspath(os.path.join(self.src_dir, self.key_file)) self.key_file = os.path.abspath(os.path.join(self.src_dir, self.key_file))
else: else:
print("Keyfile '%s' could not be found; %s.dll will be unsigned." % (self.dll_name, self.key_file)) print("Keyfile '%s' could not be found; %s.dll will be unsigned." % (self.key_file, self.dll_name))
self.key_file = None self.key_file = None
if not self.key_file is None: if not self.key_file is None: