diff --git a/libs/numeric/interval b/libs/numeric/interval index 53ba1b16e8..252c6fd636 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit 53ba1b16e8353583b3fb77cacac2e322b9b87b25 +Subproject commit 252c6fd6360bfb6ae51eea2ca97f324b995519e0