diff --git a/libs/numeric/interval b/libs/numeric/interval index f9c4d5a73a..75b723434c 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit f9c4d5a73aefb7c57232f02d294fdcec6ca3fb2b +Subproject commit 75b723434c923f9bbc26ef9d363074b5b8790c7f