fix linter errors

Avaneesh-axiom · Avaneesh-axiom · commit 53575a94288a · 2025-01-22T18:27:54.000-05:00
diff --git a/extensions/ecc/te-setup/src/lib.rs b/extensions/ecc/te-setup/src/lib.rs
@@ -107,6 +107,8 @@ pub fn te_declare(input: TokenStream) -> TokenStream {
                 fn add_chip(p1: &#struct_name, p2: &#struct_name) -> #struct_name {
                     #[cfg(not(target_os = "zkvm"))]
                     {
+                        use openvm_algebra_guest::DivUnsafe;
+
                         let x1y2 = p1.x() * p2.y();
                         let y1x2 = p1.y() * p2.x();
                         let x1x2 = p1.x() * p2.x();

Original file line number	Diff line number	Diff line change
`@@ -107,6 +107,8 @@ pub fn te_declare(input: TokenStream) -> TokenStream {`
`107`	`107`	`fn add_chip(p1: &#struct_name, p2: &#struct_name) -> #struct_name {`
`108`	`108`	`#[cfg(not(target_os = "zkvm"))]`
`109`	`109`	`{`
	`110`	`+ use openvm_algebra_guest::DivUnsafe;`
	`111`	`+`
`110`	`112`	`let x1y2 = p1.x() * p2.y();`
`111`	`113`	`let y1x2 = p1.y() * p2.x();`
`112`	`114`	`let x1x2 = p1.x() * p2.x();`