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

Automatic JuliaFormatter.jl run
JuliaReach · Apr 6, 2024 · 054d4a3 · 054d4a3
2 parents 25a4c48 + f36fb57
commit 054d4a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/models/generated/Spacecraft.jl b/test/models/generated/Spacecraft.jl
@@ -215,7 +215,7 @@ function solve_spacecraft(prob; k=25, s=missing)
     sol12 = solve(prob;
                   tspan=(0.0, 200.0),
                   alg=TMJets21a(; abstol=1e-5, maxsteps=10_000, orderT=5, orderQ=1,
-                               disjointness=BoxEnclosure()),
+                                disjointness=BoxEnclosure()),
                   max_jumps=1,
                   intersect_source_invariant=false,
                   intersection_method=TemplateHullIntersection(BoxDirections(5)),