small fix
This commit is contained in:
@ -16,3 +16,6 @@ petgraph = { version = "*", features = ["serde-1"] }
|
|||||||
petgraph-graphml = { version = "5" }
|
petgraph-graphml = { version = "5" }
|
||||||
serde = { version = "1", features = ["derive", "rc"] }
|
serde = { version = "1", features = ["derive", "rc"] }
|
||||||
serde_cbor_2 = { version = "*" }
|
serde_cbor_2 = { version = "*" }
|
||||||
|
|
||||||
|
[profile.dev]
|
||||||
|
split-debuginfo = "unpacked"
|
||||||
|
|||||||
@ -861,8 +861,9 @@ fn execute(
|
|||||||
save_options!(fast_freq(system, experiment)?, so);
|
save_options!(fast_freq(system, experiment)?, so);
|
||||||
},
|
},
|
||||||
| Instruction::Digraph { group, gso } => {
|
| Instruction::Digraph { group, gso } => {
|
||||||
|
digraph(system)?;
|
||||||
let mut graph = system.clone();
|
let mut graph = system.clone();
|
||||||
digraph(&mut graph)?;
|
|
||||||
if let Some(group) = group {
|
if let Some(group) = group {
|
||||||
group.typecheck()?;
|
group.typecheck()?;
|
||||||
grouping(&mut graph, &group)?;
|
grouping(&mut graph, &group)?;
|
||||||
|
|||||||
Reference in New Issue
Block a user