comment

JuliaReach · Mar 19, 2024 · 423ba96 · 423ba96
1 parent 9c5604f
commit 423ba96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Approximations/overapproximate.jl b/src/Approximations/overapproximate.jl
@@ -641,7 +641,7 @@ function load_paving_overapproximation()
         converted into hyperrectangles, and then calculates the support function of the
         set along each  direction in dirs, to compute the `HPolyhedron` constraints.
 
-        ### Requires IntervalConstraintProgramming
+        This algorithm requires the IntervalConstraintProgramming package.
         """
         function overapproximate(p::Paving{L,N}, dirs::AbstractDirections{N,VN}) where {L,N,VN}
             # enclose outer approximation