clear rustc warnings (#3051)

2025-08-23 14:34:49 -07:00
parent e168b31963
commit 39d02a0caf
14 changed files with 25 additions and 78 deletions
--- a/src/machine/disjuncts.rs
+++ b/src/machine/disjuncts.rs
@@ -18,7 +18,7 @@ use std::collections::VecDeque;
 use std::hash::{Hash, Hasher};
 use std::ops::{Deref, DerefMut};

-#[derive(Debug, Clone)]//, PartialOrd, PartialEq, Eq, Hash)]
+#[derive(Debug, Clone)] //, PartialOrd, PartialEq, Eq, Hash)]
 pub struct BranchNumber {
    branch_num: Rational,
    delta: Rational,