Skip to content

Commit

Permalink
build(rust): remove unnecessary dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
neferin12 committed Apr 27, 2024
1 parent 6a6f46b commit 137ed80
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 19 deletions.
18 changes: 1 addition & 17 deletions rust/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 1 addition & 2 deletions rust/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rism"
version = "1.1.0"
version = "1.1.1"
edition = "2021"

[lib]
Expand All @@ -18,7 +18,6 @@ serde = { version = "1.0.197", features = ["derive"] }
indicatif = "0.17.8"
console = "0.15.8"
tabled = "0.15.0"
crossbeam-channel = "0.5.12"
z3 = { version = "0.12.1", optional = true}

[features]
Expand Down

0 comments on commit 137ed80

Please sign in to comment.