Remove dead code

informalsystems · Dec 1, 2023 · 7b22397 · 7b22397
1 parent 4daa501
commit 7b22397
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 235 deletions.
diff --git a/Code/itf/src/consensus.rs b/Code/itf/src/consensus.rs
diff --git a/Code/itf/src/deserializers.rs b/Code/itf/src/deserializers.rs
diff --git a/Code/itf/src/lib.rs b/Code/itf/src/lib.rs
@@ -1,5 +1,2 @@
-pub mod consensus;
-pub mod votekeeper;
-
-mod deserializers;
 pub mod utils;
+pub mod votekeeper;