Move generalise code

viperproject · Nov 11, 2024 · 204755e · 204755e
1 parent 2619e0e
commit 204755e
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/...g-parser/src/analysis/graph/generalise.rs → smt-log-parser/src/analysis/generalise.rs b/...g-parser/src/analysis/graph/generalise.rs → smt-log-parser/src/analysis/generalise.rs
diff --git a/smt-log-parser/src/analysis/graph/mod.rs b/smt-log-parser/src/analysis/graph/mod.rs
@@ -10,7 +10,6 @@ use self::{analysis::Analysis, raw::RawInstGraph, visible::VisibleInstGraph};
 // pub mod inst_graph;
 pub mod analysis;
 pub mod disable;
-pub mod generalise;
 pub mod hide;
 pub mod raw;
 pub mod subgraph;

diff --git a/smt-log-parser/src/analysis/mod.rs b/smt-log-parser/src/analysis/mod.rs
@@ -1,4 +1,5 @@
 mod dependencies;
+mod generalise;
 mod graph;
 mod misc;