re-fix fmt

prove-rs · Jul 26, 2024 · c433ee6 · c433ee6
1 parent bf861dd
commit c433ee6
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/z3/tests/lib.rs b/z3/tests/lib.rs
@@ -1378,10 +1378,7 @@ fn test_tactic_and_then() {
         .list_subgoals()
         .collect::<Vec<Goal>>();
     let goal_result = goal_results.first().unwrap();
-    assert!(slice_ast_eq(
-        &goal_result.get_formulas::<Bool>(),
-        &[a, b]
-    ));
+    assert!(slice_ast_eq(&goal_result.get_formulas::<Bool>(), &[a, b]));
 }
 
 #[test]
@@ -1406,10 +1403,7 @@ fn test_tactic_or_else() {
         .list_subgoals()
         .collect::<Vec<Goal>>();
     let goal_result = goal_results.first().unwrap();
-    assert!(slice_ast_eq(
-        &goal_result.get_formulas::<Bool>(),
-        &[a, b]
-    ));
+    assert!(slice_ast_eq(&goal_result.get_formulas::<Bool>(), &[a, b]));
 }
 
 #[test]