From 08758a3b9db6874ccef3cef383a05507bc4087a7 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Fri, 26 Aug 2022 15:47:26 -0700 Subject: [PATCH] newline --- u32/src/witness.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/u32/src/witness.rs b/u32/src/witness.rs index 38aa2238..ddc3432f 100644 --- a/u32/src/witness.rs +++ b/u32/src/witness.rs @@ -13,6 +13,7 @@ impl, F: PrimeField64> WitnessU32 for T { fn set_u32_target(&mut self, target: U32Target, value: u32) { self.set_target(target.0, F::from_canonical_u32(value)); } + fn get_u32_target(&self, target: U32Target) -> (u32, u32) { let x_u64 = self.get_target(target.0).to_canonical_u64(); let low = x_u64 as u32;