diff --git a/dependencies/bounded-integer b/dependencies/bounded-integer
index 31d93ece5..ae040bd8b 160000
--- a/dependencies/bounded-integer
+++ b/dependencies/bounded-integer
@@ -1 +1 @@
-Subproject commit 31d93ece5be294670ca1d249badf8433bb558c4c
+Subproject commit ae040bd8bab612ffdae1bf7781a102f9dfdb8ed7