fix: Remove leftover ") from version-parsing regexp in package.py

dafny-lang · Oct 3, 2022 · 2a6013f · 2a6013f
1 parent bd7c078
commit 2a6013f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Scripts/package.py b/Scripts/package.py
@@ -255,7 +255,7 @@ def pack(args, releases):
 def check_version_cs(args):
     # Checking Directory.Build.props
     with open(path.join(SOURCE_DIRECTORY, "Directory.Build.props")) as fp:
-        match = re.search(r'\<VersionPrefix\>([0-9]+.[0-9]+.[0-9]+).([0-9]+)"\)', fp.read())
+        match = re.search(r'\<VersionPrefix\>([0-9]+.[0-9]+.[0-9]+).([0-9]+)', fp.read())
         if match:
             (v1, v2) = match.groups()
         else: