diff --git a/libs/numeric/interval b/libs/numeric/interval index be54d20ea7..565d0d754f 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit be54d20ea7f773c1146648d01058c95ce2451e43 +Subproject commit 565d0d754f851eb9447745b359ca5be6a033918c