update build.rs

TGWDB · TGWDB · commit 89d8acc47b72 · 2023-03-02T10:52:52.000Z
diff --git a/src/libcprover-rust/build.rs b/src/libcprover-rust/build.rs
@@ -112,5 +112,5 @@ fn main() {
         libraries_path.display()
     );
 
-    println!("cargo:rustc-link-lib=static=cprover.5.77.0");
+    println!("cargo:rustc-link-lib=static=cprover.5.78.0");
 }

Original file line number	Diff line number	Diff line change
`@@ -112,5 +112,5 @@ fn main() {`
`112`	`112`	`libraries_path.display()`
`113`	`113`	`);`
`114`	`114`
`115`		`- println!("cargo:rustc-link-lib=static=cprover.5.77.0");`
	`115`	`+ println!("cargo:rustc-link-lib=static=cprover.5.78.0");`
`116`	`116`	`}`