diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-01-06 23:42:28 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-01-06 23:42:28 +0800 |
| commit | f27d604d93ce583d4404e1874664e08382ea2f00 (patch) | |
| tree | 6fa8df26af954e94f3604ffabde4961ee8108c41 /graph/src/labelled/mod.rs | |
| parent | 7dd4935230e303aef8d295d992239d59d95b32d7 (diff) | |
Save before system restart.
I am about to re-start my system, so I save before any crashes
happen.
Diffstat (limited to 'graph/src/labelled/mod.rs')
| -rw-r--r-- | graph/src/labelled/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/graph/src/labelled/mod.rs b/graph/src/labelled/mod.rs index 61e3014..fa26bc4 100644 --- a/graph/src/labelled/mod.rs +++ b/graph/src/labelled/mod.rs @@ -15,6 +15,6 @@ pub mod double; pub use double::{DLGBuilder, DLGraph}; -pub mod single; +pub mod binary; -pub use single::SLGraph; +// pub use binary::BLGraph; |