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