put comment back

model-checking · Dec 19, 2024 · 9958c7e · 9958c7e
1 parent b9ed731
commit 9958c7e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/library/core/src/num/mod.rs b/library/core/src/num/mod.rs
@@ -2049,6 +2049,7 @@ mod verify {
     );
 
     // ====================== u16 Harnesses ======================
+    /// Kani proof harness for `carrying_mul` on `u16` type with full range of values.
     generate_carrying_mul_intervals!(u16, u32,
         carrying_mul_u16_full_range, 0u16, u16::MAX
     );