From 977a11777102305e27557810be320517d4cd2940 Mon Sep 17 00:00:00 2001 From: Vladimir Glushenkov Date: Fri, 8 Nov 2024 19:50:28 +0300 Subject: [PATCH] fix(core/dumping): export DumpingPermit --- elfo-core/src/dumping/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/elfo-core/src/dumping/mod.rs b/elfo-core/src/dumping/mod.rs index f12aa567..c56511e0 100644 --- 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},