diff --git a/libs/numeric/interval b/libs/numeric/interval index 746675b29d..403842a9d2 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit 746675b29daa2d3c5c1dea58230438d3d259e20e +Subproject commit 403842a9d231cb5c56fb3344a8bf8eca1cd3b49e