Skip to content

Commit ac02ab8

Browse files
committed
Remove other/ from exclusion list for package code.
`other/` contains a C smoke test file, that we need to include so that a user of the crate can actually test the crate without getting errors related to lack of the file.
1 parent e95ce4e commit ac02ab8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/libcprover-rust/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ description = "Rust API for CBMC and assorted CProver tools"
66
repository = "https://github.com/diffblue/cbmc"
77
documentation = "https://diffblue.github.io/cbmc/"
88
license = "BSD-4-Clause"
9-
exclude = ["other/", "module_dependencies.txt"]
9+
exclude = ["module_dependencies.txt"]
1010

1111
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
1212

0 commit comments

Comments
 (0)