Add missing required feature for oxidd-dump

OxiDD · Apr 11, 2024 · 569a3a4 · 569a3a4
1 parent 2e4f215
commit 569a3a4
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/crates/oxidd-rules-bdd/Cargo.toml b/crates/oxidd-rules-bdd/Cargo.toml
@@ -16,7 +16,7 @@ oxidd-core.workspace = true
 oxidd-derive.workspace = true
 
 # for implementing `DotStyle`
-oxidd-dump = { workspace = true, features = ["dot"] }
+oxidd-dump = { workspace = true, features = ["dddmp", "dot"] }
 
 # bit vectors for memory efficient valuations
 bitvec = "1"

diff --git a/crates/oxidd-rules-mtbdd/Cargo.toml b/crates/oxidd-rules-mtbdd/Cargo.toml
@@ -16,7 +16,7 @@ oxidd-core.workspace = true
 oxidd-derive.workspace = true
 
 # For implementing `DotStyle`
-oxidd-dump = { workspace = true, features = ["dot"] }
+oxidd-dump = { workspace = true, features = ["dddmp", "dot"] }
 
 # document feature flags
 document-features = "0.2"

diff --git a/crates/oxidd-rules-tdd/Cargo.toml b/crates/oxidd-rules-tdd/Cargo.toml
@@ -16,7 +16,7 @@ oxidd-core.workspace = true
 oxidd-derive.workspace = true
 
 # For implementing `DotStyle`
-oxidd-dump = { workspace = true, features = ["dot"] }
+oxidd-dump = { workspace = true, features = ["dddmp", "dot"] }
 
 # document feature flags
 document-features = "0.2"

diff --git a/crates/oxidd-rules-zbdd/Cargo.toml b/crates/oxidd-rules-zbdd/Cargo.toml
@@ -16,7 +16,7 @@ oxidd-core.workspace = true
 oxidd-derive.workspace = true
 
 # for implementing `DotStyle`
-oxidd-dump = { workspace = true, features = ["dot"] }
+oxidd-dump = { workspace = true, features = ["dddmp", "dot"] }
 
 # bit vectors for memory efficient valuations
 bitvec = "1"