KeYProject
diff --git a/‎dist/index.js‎
Lines changed: 8 additions & 1 deletion b/‎dist/index.js‎
Lines changed: 8 additions & 1 deletion
diff --git a/‎dist/index.js.map‎
Lines changed: 1 addition & 1 deletion b/‎dist/index.js.map‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎src/main.ts‎
Lines changed: 0 additions & 2 deletions b/‎src/main.ts‎
Lines changed: 0 additions & 2 deletions
@@ -90,8 +90,6 @@ export async function run(): Promise<void> {
     }
   }
 
-  Z3_LIB_MACOS_SUFFIX = 
-
   const Z3_TOOL: Tools = {
     linux: {
       url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-glibc-2.35.zip`,
Original file line number	Diff line number	Diff line change
`@@ -90,8 +90,6 @@ export async function run(): Promise<void> {`
`90`	`90`	`}`
`91`	`91`	`}`
`92`	`92`
`93`		`- Z3_LIB_MACOS_SUFFIX =`
`94`		`-`
`95`	`93`	`const Z3_TOOL: Tools = {`
`96`	`94`	`linux: {`
`97`	`95`	url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-glibc-2.35.zip`,