style: more clippy

sybila · Dec 14, 2023 · 573827f · 573827f
1 parent ae54d1a
commit 573827f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/benchmarks/utils.rs b/src/benchmarks/utils.rs
@@ -1,3 +1,5 @@
+#![allow(dead_code)]
+
 use std::fmt::Debug;
 
 use biodivine_lib_bdd::{Bdd, BddPartialValuation};

diff --git a/src/prototype/utils.rs b/src/prototype/utils.rs
@@ -11,7 +11,6 @@ use xml::{
 };
 
 use crate::prototype::symbolic_domain::SymbolicDomain;
-use crate::symbolic_domains::symbolic_domain::SymbolicDomain as RewrittenSymbolicDomain;
 
 use super::{SmartSystemUpdateFn, UpdateFn};
-Original file line number
+Diff line change
@@ Expand Up / @@ -11,7 +11,6 @@ use xml::{ @@
     };
     use crate::prototype::symbolic_domain::SymbolicDomain;
-    use crate::symbolic_domains::symbolic_domain::SymbolicDomain as RewrittenSymbolicDomain;
     use super::{SmartSystemUpdateFn, UpdateFn};
@@ Expand Down @@