Remove superfluous line
This commit is contained in:
parent
2e4d0820d2
commit
2113e45488
1 changed files with 0 additions and 1 deletions
|
@ -360,7 +360,6 @@ enum StateData<V> {
|
||||||
/// reachable state). All operations on unreachable states are ignored.
|
/// reachable state). All operations on unreachable states are ignored.
|
||||||
///
|
///
|
||||||
/// Flooding means assigning a value (by default `⊤`) to all tracked projections of a given place.
|
/// Flooding means assigning a value (by default `⊤`) to all tracked projections of a given place.
|
||||||
/// Assigning a place (or reference thereof) to another place assumes that
|
|
||||||
#[derive(PartialEq, Eq, Clone, Debug)]
|
#[derive(PartialEq, Eq, Clone, Debug)]
|
||||||
pub struct State<V>(StateData<V>);
|
pub struct State<V>(StateData<V>);
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue