Merge pull request #846 from JuliaReach/schillic/GLGM06

Use `preallocate` argument in `GLGM06`
JuliaReach · Aug 28, 2024 · 9e468ab · 9e468ab
2 parents 3faa5ad + 3a2df6e
commit 9e468ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Algorithms/GLGM06/GLGM06.jl b/src/Algorithms/GLGM06/GLGM06.jl
@@ -88,7 +88,7 @@ function GLGM06(; δ::N,
                                                               DM<:AbstractDisjointnessMethod}
 
     # algorithm with "preallocation" is only defined for the non-static case
-    preallocate = !static
+    preallocate = preallocate && !static
     n = ismissing(dim) ? missing : Val(dim)
     p = ismissing(ngens) ? missing : Val(ngens)
     return GLGM06(δ, approx_model, max_order, Val(static), n, p,