diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 6b1ad95d6..0728c2cb7 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1746,10 +1746,10 @@ class DotNetDLLComponent(Component): - + -""" % (version, key, self.to_src_dir, self.src_dir) +""" % (version, key, self.to_src_dir, self.to_src_dir) mk_dir(os.path.join(BUILD_DIR, 'dotnet')) csproj = os.path.join('dotnet', 'z3.csproj')