diff options
Diffstat (limited to 'forest/src/lib.rs')
-rw-r--r-- | forest/src/lib.rs | 4 |
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 |