diff --git a/libs/numeric/interval b/libs/numeric/interval index 802aef1264..6db1ad0d20 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit 802aef1264008754e03f4a6244b9ccdd88328371 +Subproject commit 6db1ad0d2027d812bcbb26802196c5444c59e585