Cargo clippy --fix

togatoga · Sep 11, 2021 · 9b3014c · 9b3014c
1 parent 088bdf7
commit 9b3014c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/examples/simple.rs b/examples/simple.rs
@@ -32,7 +32,7 @@ fn main() {
             };
             print!("x{} = {} ", var + 1, b);
         });
-        println!("");
+        println!();
     }
 
     {

diff --git a/tests/lib.rs b/tests/lib.rs
@@ -104,14 +104,12 @@ mod tests {
                     );
                     assert!(false);
                 }
-                if status == Status::Sat {
-                    if !sat_model_check(&cnf.clauses, &solver.models) {
-                        eprintln!(
-                            "Assignments are wrong!! cnf: {}, Result: {:?} Expected: {:?}",
-                            path_str, status, expected
-                        );
-                        assert!(false);
-                    }
+                if status == Status::Sat && !sat_model_check(&cnf.clauses, &solver.models) {
+                    eprintln!(
+                        "Assignments are wrong!! cnf: {}, Result: {:?} Expected: {:?}",
+                        path_str, status, expected
+                    );
+                    assert!(false);
                 }
             }
         }