Update kani_metadata/src/harness.rs

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
model-checking · Jul 30, 2024 · 3b75f2c · 3b75f2c
1 parent eb67857
commit 3b75f2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani_metadata/src/harness.rs b/kani_metadata/src/harness.rs
@@ -63,7 +63,7 @@ pub enum HarnessKind {
 }
 
 impl HarnessAttributes {
-    /// Create a new harness with of the provided kind.
+    /// Create a new harness of the provided kind.
     pub fn new(kind: HarnessKind) -> HarnessAttributes {
         HarnessAttributes {
             kind,