diff --git a/libs/numeric/interval b/libs/numeric/interval
index 6db1ad0d20..ed01cdab6d 160000
--- a/libs/numeric/interval
+++ b/libs/numeric/interval
@@ -1 +1 @@
-Subproject commit 6db1ad0d2027d812bcbb26802196c5444c59e585
+Subproject commit ed01cdab6d89579e56ed5b831ed339fe98deba98