From be1383111896b1ba94ccbc554f69a54f3a7e040a Mon Sep 17 00:00:00 2001 From: Justus Adam Date: Wed, 28 Jun 2023 11:38:22 -0700 Subject: [PATCH] Update library/kani_macros/src/lib.rs Co-authored-by: Celina G. Val --- library/kani_macros/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/kani_macros/src/lib.rs b/library/kani_macros/src/lib.rs index 70e4af321b32..ab8035e04b19 100644 --- a/library/kani_macros/src/lib.rs +++ b/library/kani_macros/src/lib.rs @@ -106,7 +106,7 @@ pub fn requires(attr: TokenStream, item: TokenStream) -> TokenStream { /// /// This is part of the function contract API, together with [`requires`]. /// -/// The contents of the attribute is a condtition over the input values to the +/// The contents of the attribute is a condition over the input values to the /// annotated function *and* its return value, accessible as a variable called /// `result`. All Rust syntax is supported, even calling other functions, but /// the computations must be side effect free, e.g. it cannot perform I/O or use