Skip to content

Commit

Permalink
Merge pull request #3544 from JuliaReach/schillic/space
Browse files Browse the repository at this point in the history
Add space in error message
  • Loading branch information
schillic authored Jul 2, 2024
2 parents 30950f3 + 7825fb1 commit 6f2571e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/ConcreteOperations/minkowski_difference.jl
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,8 @@ of disturbance invariant sets for discrete-time linear systems.*
317-367.](http://dx.doi.org/10.1155/S1024123X98000866)
"""
function minkowski_difference(P::LazySet, Q::LazySet)
@assert is_polyhedral(P) "this implementation requires that the first" *
"argument is polyhedral; try overapproximating with an `HPolyhedron`"
@assert is_polyhedral(P) "this implementation requires that the first argument " *
"is polyhedral; try overapproximating with an `HPolyhedron`"
@assert isbounded(Q) "this implementation requires that the second " *
"argument is bounded, but it is not"

Expand Down

0 comments on commit 6f2571e

Please sign in to comment.