Merge pull request #439 from oguzutku1745/update-operators-shr

Update shr
ProvableHQ · Feb 16, 2025 · 10d0bbd · 10d0bbd
2 parents 7a67710 + 7cea6a2
commit 10d0bbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/leo/04_operators.md b/documentation/leo/04_operators.md
@@ -1107,7 +1107,7 @@ let b: u8 = a.shr(1u8); // 1u8
 
 #### Description
 
-Shifts `first` right by `second` bits, storing the result in `destination`.
+Shifts `first` right by `second` bits, storing the result in `destination`. The operation halts if the shift distance exceeds the bit size of `first`.
 
 #### Supported Types