Merge pull request #188 from JuliaReach/schillic/RB

Allow ReachabilityBase v0.3
JuliaReach · Jun 27, 2024 · 285a470 · 285a470
2 parents fed61b5 + 1ce6f87
commit 285a470
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -13,6 +13,6 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 ForwardDiff = "0.10"
 IntervalArithmetic = "0.15 - 0.20, =0.21.0"  # v0.21.1 removed IntervalBox
 LinearAlgebra = "<0.0.1, 1.6"
-ReachabilityBase = "0.1.1 - 0.2"
+ReachabilityBase = "0.1.1 - 0.3"
 Requires = "0.5, 1"
 julia = "1.6"