Save before system restart.

I am about to re-start my system, so I save before any crashes
happen.

1 files changed, 2 insertions, 2 deletions

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