Update tests/script-based-pre/cargo_manifest_test/manifest_test.sh

Co-authored-by: Zyad Hassan <[email protected]>
model-checking · Jan 10, 2025 · 63f483d · 63f483d
1 parent ce4c8aa
commit 63f483d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/script-based-pre/cargo_manifest_test/manifest_test.sh b/tests/script-based-pre/cargo_manifest_test/manifest_test.sh
@@ -3,6 +3,6 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # Test if Kani can correctly check if package in the workspace when
-# manifest-path presents.
+# manifest-path present.
 
 cargo kani --manifest-path=add/Cargo.toml --package add --debug