fix linter errors

Author: Avaneesh-axiom

extensions/ecc/te-setup/src/lib.rs

@@ -115,8 +115,8 @@ pub fn te_declare(input: TokenStream) -> TokenStream {
                         let y1y2 = p1.y() * p2.y();
                         let dx1x2y1y2 = Self::CURVE_D * x1x2 * y1y2;
 
-                        let x3 = (x1y2 + y1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE + dx1x2y1y2));
-                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE - dx1x2y1y2));
+                        let x3 = (x1y2 + y1x2).div_unsafe(&<#intmod_type as openvm_algebra_guest::IntMod>::ONE + dx1x2y1y2);
+                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&<#intmod_type as openvm_algebra_guest::IntMod>::ONE - dx1x2y1y2);
 
                         #struct_name { x: x3, y: y3 }
                     }