diff --git a/Cargo.lock b/Cargo.lock index e72c7f2e..953ed4ed 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -333,7 +333,7 @@ dependencies = [ [[package]] name = "egraph-serialize" version = "0.1.0" -source = "git+https://github.com/egraphs-good/egraph-serialize?rev=325f7c6b4b909752ee0f57f9619f698a52cc343e#325f7c6b4b909752ee0f57f9619f698a52cc343e" +source = "git+https://github.com/egraphs-good/egraph-serialize?rev=fdfbbcae20a21098ad6484c0b9da44314016b4f7#fdfbbcae20a21098ad6484c0b9da44314016b4f7" dependencies = [ "graphviz-rust", "indexmap", diff --git a/Cargo.toml b/Cargo.toml index cb8838a3..ee69b96d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -37,7 +37,7 @@ smallvec = "1.11" generic_symbolic_expressions = "5.0.4" -egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "325f7c6b4b909752ee0f57f9619f698a52cc343e", features = [ +egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "fdfbbcae20a21098ad6484c0b9da44314016b4f7", features = [ "serde", "graphviz", ] } diff --git a/src/serialize.rs b/src/serialize.rs index 4746e2ed..5f4b2017 100644 --- a/src/serialize.rs +++ b/src/serialize.rs @@ -156,9 +156,7 @@ impl EGraph { eclass: class_id.clone(), cost: NotNan::new(decl.cost.unwrap_or(1) as f64).unwrap(), children, - data: egraph_serialize::NodeData { - subsumed: output.subsumed, - }, + subsumed: output.subsumed, }, ); } @@ -264,7 +262,7 @@ impl EGraph { eclass: class_id.clone(), cost: NotNan::new(f64::INFINITY).unwrap(), children: vec![], - data: egraph_serialize::NodeData { subsumed: false }, + subsumed: false, }, ); VecDeque::from(vec![node_id]) @@ -296,8 +294,7 @@ impl EGraph { eclass: class_id.clone(), cost: NotNan::new(1.0).unwrap(), children, - // primitives can never be subsumed - data: egraph_serialize::NodeData { subsumed: false }, + subsumed: false, }, ); };