Merge pull request #4061 from JuliaReach/auto-juliaformatter-pr

Automatic JuliaFormatter.jl run

Author: schillic

src/Approximations/overapproximate.jl

@@ -1017,7 +1017,7 @@ function _welzl!(P, R, d, B0)  # note that d == n+1
     end
     R2 = copy(R)
     push!(R2, p)
-    _welzl!(P2, R2, d, B0)
+    return _welzl!(P2, R2, d, B0)
 end
 
 function _circumsphere_trivial(R, B0)
@@ -1044,5 +1044,5 @@ function _circumsphere_trivial(R, B0)
         r = (na * nb * norm(a - b)) / (2 * sqrt(aux))
         return Ball2(c, r)
     end
-    error("this case is not implemented yet")  # TODO add higher-dimensional cases
+    return error("this case is not implemented yet")  # TODO add higher-dimensional cases
 end

test/Sets/Zonotope.jl

@@ -295,7 +295,7 @@ for N in @tN([Float64, Float32, Rational{Int}])
     for res in (radius(Z), radius(Z, Inf))
         @test res isa N && res == N(6)
     end
-        if N <: AbstractFloat
+    if N <: AbstractFloat
         res = radius(Z, 2)
         @test res isa N && res == N(7.211102550927979)
     end