diff --git a/bin/Cargo.toml b/bin/Cargo.toml index c8b322c..21c1a8b 100644 --- a/bin/Cargo.toml +++ b/bin/Cargo.toml @@ -15,7 +15,7 @@ path = "src/main.rs" [dependencies] adf_bdd = { path = "../lib", default-features = false } -clap = {version = "3.1.3", features = [ "derive", "cargo", "env" ]} +clap = {version = "3.1.5", features = [ "derive", "cargo", "env" ]} log = { version = "0.4", features = [ "max_level_trace", "release_max_level_info" ] } serde = { version = "1.0", features = ["derive","rc"] } serde_json = "1.0" @@ -31,4 +31,4 @@ default = ["adhoccounting", "variablelist", "adf_bdd/default" ] adhoccounting = ["adf_bdd/adhoccounting"] # count models ad-hoc - disable if counting is not needed importexport = ["adf_bdd/importexport"] variablelist = [ "HashSet", "adf_bdd/variablelist" ] -HashSet = ["adf_bdd/HashSet"] \ No newline at end of file +HashSet = ["adf_bdd/HashSet"]