diff options
Diffstat (limited to 'mingling_core/src/lib.rs')
| -rw-r--r-- | mingling_core/src/lib.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mingling_core/src/lib.rs b/mingling_core/src/lib.rs index 373df52..6e1e90c 100644 --- a/mingling_core/src/lib.rs +++ b/mingling_core/src/lib.rs @@ -70,3 +70,9 @@ pub use crate::comp::*; pub mod setup { pub use crate::program::setup::ProgramSetup; } + +#[doc(hidden)] +pub mod core_res { + #[cfg(feature = "repl")] + pub use crate::program::repl_exec::res::ResREPL; +} |