From b04936b0d2a664a233264dafb0bce2f09ec2f218 Mon Sep 17 00:00:00 2001 From: Pratyush Mishra Date: Thu, 28 Dec 2023 17:58:58 -0500 Subject: [PATCH] Fix --- src/uint/shl.rs | 2 +- src/uint/shr.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/uint/shl.rs b/src/uint/shl.rs index 3ee5d90d..645a07a4 100644 --- a/src/uint/shl.rs +++ b/src/uint/shl.rs @@ -42,7 +42,7 @@ impl Shl for UInt< /// let b = 1u8; /// let c = UInt8::new_witness(cs.clone(), || Ok(16 << 1))?; /// - /// (a << 1).enforce_equal(&c)?; + /// (a << b).enforce_equal(&c)?; /// assert!(cs.is_satisfied().unwrap()); /// # Ok(()) /// # } diff --git a/src/uint/shr.rs b/src/uint/shr.rs index 4e9ebe35..7630855c 100644 --- a/src/uint/shr.rs +++ b/src/uint/shr.rs @@ -42,7 +42,7 @@ impl Shr for UInt< /// let b = 1u8; /// let c = UInt8::new_witness(cs.clone(), || Ok(16 >> 1))?; /// - /// (a >> 1).enforce_equal(&c)?; + /// (a >> b).enforce_equal(&c)?; /// assert!(cs.is_satisfied().unwrap()); /// # Ok(()) /// # }