Fix formatting

Author: parno

tasks/human_eval_075.rs

@@ -119,8 +119,8 @@ fn is_multiply_prime(x: u32) -> (ans: bool)
         i <= x && j <= x && k <= x && spec_prime(i) && spec_prime(j) && spec_prime(k) ==> x != i * j
             * k);
     // prove that that even if the factors are not in the range [2, x], the product is still not equal to x
-    assert forall|i: int, j: int, k: int|
-        spec_prime(i) && spec_prime(j) && spec_prime(k) implies x != i * j * k by {
+    assert forall|i: int, j: int, k: int| spec_prime(i) && spec_prime(j) && spec_prime(k) implies x
+        != i * j * k by {
         if (i > 1 && j > 1 && k > 1 && (i > x || j > x || k > x)) {
             broadcast use group_mul_properties;