From f27d604d93ce583d4404e1874664e08382ea2f00 Mon Sep 17 00:00:00 2001
From: JSDurand <mmemmew@gmail.com>
Date: Fri, 6 Jan 2023 23:42:28 +0800
Subject: Save before system restart.

I am about to re-start my system, so I save before any crashes
happen.
---
 forest/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'forest/src/lib.rs')

diff --git a/forest/src/lib.rs b/forest/src/lib.rs
index 527a78c..3925bd5 100644
--- a/forest/src/lib.rs
+++ b/forest/src/lib.rs
@@ -10,7 +10,7 @@
 //! out-coming and in-coming plugs.  These plugs are used to join
 //! different fragments of forests together.
 
-use graph::{ExtGraph, GraphLabel};
+use graph::{Graph, GraphLabel};
 
 use core::fmt::Display;
 
@@ -60,7 +60,7 @@ pub trait ForestBuilder<NodeLabel: GraphLabel, EdgeLabel: GraphLabel> {
 ///
 /// Note that it contains a "striped down" version of the labelled
 /// graphs.
-pub trait Forest<NodeLabel: GraphLabel, EdgeLabel: GraphLabel>: ExtGraph {
+pub trait Forest<NodeLabel: GraphLabel, EdgeLabel: GraphLabel>: Graph {
     /// Type of iterator of plug-in nodes.
     type PluginIter<'a>: Iterator<Item = usize> + 'a
     where
-- 
cgit v1.2.3-18-g5258