Remove duplicate BddPtr

neuppl · Jul 5, 2023 · eda1c96 · eda1c96
1 parent 3fafaaf
commit eda1c96
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 148 deletions.
diff --git a/src/repr/bdd.rs b/src/repr/bdd.rs
diff --git a/src/repr/mod.rs b/src/repr/mod.rs
@@ -4,7 +4,6 @@
 //!
 //! (i.e., conjunctive normal forms, arbitrary logical formulae, etc.)
 
-pub mod bdd;
 pub mod cnf;
 pub mod ddnnf;
 pub mod dtree;