fix: Missing re-exports in hugr::hugr (#1127)

#1122 missed re-exporting some `pub use`s from `hugr_core::hugr`.
CQCL · May 29, 2024 · fd5f989 · fd5f989
1 parent bbefc04
commit fd5f989
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/hugr/src/hugr.rs b/hugr/src/hugr.rs
@@ -2,6 +2,7 @@
 
 // Exports everything except the `internal` module.
 pub use hugr_core::hugr::{
-    hugrmut, rewrite, serialize, validate, views, Hugr, HugrError, NodeMetadata, NodeMetadataMap,
-    NodeType, DEFAULT_NODETYPE,
+    hugrmut, rewrite, serialize, validate, views, Hugr, HugrError, HugrView, IdentList,
+    InvalidIdentifier, NodeMetadata, NodeMetadataMap, NodeType, Rewrite, RootTagged,
+    SimpleReplacement, SimpleReplacementError, ValidationError, DEFAULT_NODETYPE,
 };