diff --git a/ralloc b/ralloc
index 31b781a287748c10671a6c7e4415093d2dd4df4a..25ac80dd96c7fc0a7116068a74abe1c86102f7e8 160000
--- a/ralloc
+++ b/ralloc
@@ -1 +1 @@
-Subproject commit 31b781a287748c10671a6c7e4415093d2dd4df4a
+Subproject commit 25ac80dd96c7fc0a7116068a74abe1c86102f7e8