Skip to content

Commit

Permalink
Merge pull request #886 from JuliaReach/schillic/typos
Browse files Browse the repository at this point in the history
Fix typos build
  • Loading branch information
schillic authored Jan 8, 2025
2 parents b3b1269 + 988aab4 commit b160b6a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 2 additions & 0 deletions .typos.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@ GIR = "GIR"
AKS = "AKS"
FRE = "FRE"
Ein = "Ein"
# `indexin` is a function name
indexin = "indexin"

[files]
# do not check the following files:
Expand Down
2 changes: 1 addition & 1 deletion src/Hybrid/solve.jl
Original file line number Diff line number Diff line change
Expand Up @@ -407,7 +407,7 @@ end
# initial set is given as a tuple (location, set)
# initial set is a vector of tuples [(loc_1, set_1), ..., (loc_n, set_n)]
# optionally it is checked that each set has a non-empty intersction with loc_i's invariant
# optionally it is checked that each set has a non-empty intersection with loc_i's invariant
function _distribute(ivp::InitialValueProblem{HS, VQT};
check_invariant=false) where {HS<:HybridSystem,
ST, QT<:Tuple{Int}, ST}, VQT<:AbstractVector{QT}}
Expand Down

0 comments on commit b160b6a

Please sign in to comment.