remove obsolete tagged_tree module

knowsys · Oct 17, 2023 · 3d0b63b · 3d0b63b
1 parent 88f52ad
commit 3d0b63b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 117 deletions.
diff --git a/nemo-physical/src/util.rs b/nemo-physical/src/util.rs
@@ -1,8 +1,6 @@
 //! This module collects miscellaneous functionality.
 
 pub mod mapping;
-pub mod tagged_tree;
-pub use tagged_tree::TaggedTree;
 
 /// A macro that generates forwarding macros to dispatch along
 /// datatype-tagged enums.

diff --git a/nemo-physical/src/util/tagged_tree.rs b/nemo-physical/src/util/tagged_tree.rs