Make termdag public (#192)

egraphs-good · Aug 17, 2023 · bf16e6c · bf16e6c
1 parent e0d75d6
commit bf16e6c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -18,7 +18,7 @@ use index::ColumnIndex;
 use instant::{Duration, Instant};
 pub use serialize::SerializeConfig;
 use sort::*;
-use termdag::{Term, TermDag};
+pub use termdag::{Term, TermDag};
 use thiserror::Error;
 
 use proofs::ProofState;

diff --git a/src/termdag.rs b/src/termdag.rs
@@ -13,8 +13,8 @@ pub enum Term {
 
 #[derive(Clone, PartialEq, Eq, Debug, Default)]
 pub struct TermDag {
-    nodes: Vec<Term>,
-    hashcons: HashMap<Term, usize>,
+    pub nodes: Vec<Term>,
+    pub hashcons: HashMap<Term, usize>,
 }
 
 #[macro_export]