fmt

Author: TomWambsgans

crates/lean_prover/tests/test_range_check.rs

@@ -141,5 +141,11 @@ fn test_range_check(num_test_cases: usize, valid: bool) {
 fn failing_test() {
     let (public_input, private_input) = prepare_inputs();
     let whir_config_builder = whir_config_builder();
-    do_test_range_check(16390, 1 << 16, &whir_config_builder, &public_input, &private_input);
+    do_test_range_check(
+        16390,
+        1 << 16,
+        &whir_config_builder,
+        &public_input,
+        &private_input,
+    );
 }