diff --git a/libs/numeric/interval b/libs/numeric/interval index 043246fb1b..135f9010f7 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit 043246fb1b69fbea337fa8e94b813efc7a41ee03 +Subproject commit 135f9010f75a8fdcf027fcf4c9eb647cd6d4bd03