fix(core/dumping): export DumpingPermit

elfo-rs · Nov 12, 2024 · 977a117 · 977a117
1 parent 279338e
commit 977a117
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/elfo-core/src/dumping/mod.rs b/elfo-core/src/dumping/mod.rs
@@ -7,7 +7,7 @@ use serde::{Serialize, Serializer};
 pub use self::{
     control::{CheckResult, DumpingControl},
     dump::{Direction, Dump, ErasedMessage, MessageKind, MessageName},
-    dumper::Dumper,
+    dumper::{Dumper, DumpingPermit},
     extract_name::{extract_name, extract_name_by_type},
     raw::Raw,
     recorder::{set_make_recorder, Recorder},
@@ -17,7 +17,7 @@ pub use self::{
 pub(crate) use self::{
     control::{CheckResult, DumpingControl},
     dump::{Direction, Dump, ErasedMessage, MessageKind, MessageName},
-    dumper::Dumper,
+    dumper::{Dumper, DumpingPermit},
     extract_name::{extract_name, extract_name_by_type},
     raw::Raw,
     recorder::{set_make_recorder, Recorder},