From 46f05bdd4b4a2e3558b5396c81a37300f3b0c360 Mon Sep 17 00:00:00 2001
From: Agustin Borgna <agustin.borgna@quantinuum.com>
Date: Wed, 29 May 2024 12:04:03 +0100
Subject: [PATCH] fix: Missing re-exports in `hugr::hugr`

---
 hugr/src/hugr.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/hugr/src/hugr.rs b/hugr/src/hugr.rs
index 281bd80d8..c2b6a70b7 100644
--- 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,
 };