diff --git a/libs/numeric/interval b/libs/numeric/interval index de48274d0d..5dad1782f3 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit de48274d0dc3151effcd592c64347717efd86586 +Subproject commit 5dad1782f3bfe65f37cf8d14ab1e62583902eb31