Merge pull request #157 from JuliaReach/schillic-patch-1

Follow-up of #156 Freeze version of IntervalArithmetic
JuliaReach · Jan 5, 2024 · 48c0898 · 48c0898
2 parents bb5d834 + 8ab892b
commit 48c0898
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -10,7 +10,7 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
 ForwardDiff = "0.10"
-IntervalArithmetic = "0.15 - 0.21, =0.21.0"  # v0.21.1 removed IntervalBox
+IntervalArithmetic = "0.15 - 0.20, =0.21.0"  # v0.21.1 removed IntervalBox
 ReachabilityBase = "0.1.1 - 0.2"
 Requires = "0.5, 1"
 julia = "1.6"