Minor refactoring

viperproject · Dec 19, 2023 · e2844b0 · e2844b0
1 parent 277d92d
commit e2844b0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/axiom-profiler-GUI/src/results/filters/graph_filters.rs b/axiom-profiler-GUI/src/results/filters/graph_filters.rs
@@ -57,7 +57,7 @@ impl Display for Filter {
             },
             Self::MaxDepth(depth) => write!(f, "Show nodes up to depth {}", depth),
             Self::ShowLongestPath(node) => write!(f, "Showing longest path through node {}", node.index()),
-            Self::ShowMatchingLoops => write!(f, "Showing matching loops (experimental)"),
+            Self::ShowMatchingLoops => write!(f, "Showing matching loops"),
         }
     }
 }

diff --git a/axiom-profiler-GUI/src/results/svg_result.rs b/axiom-profiler-GUI/src/results/svg_result.rs
@@ -10,7 +10,7 @@ use num_format::{Locale, ToFormattedString};
 use petgraph::dot::{Config, Dot};
 use petgraph::graph::{NodeIndex, EdgeIndex};
 use smt_log_parser::{
-    items::{QuantIdx, MatchKind, BlameKind},
+    items::{MatchKind, BlameKind},
     parsers::{
         z3::{
             inst_graph::{EdgeType, InstGraph, InstInfo, EdgeInfo, VisibleGraphInfo},