diff --git a/smt-log-parser/src/analysis/graph/generalise.rs b/smt-log-parser/src/analysis/generalise.rs similarity index 100% rename from smt-log-parser/src/analysis/graph/generalise.rs rename to 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 index 52161a77..bbcd5188 100644 --- 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 index edd6f563..323ca74f 100644 --- 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;