diff --git a/rust b/rust
index ca76413..1725d65 160000
--- a/rust
+++ b/rust
@@ -1 +1 @@
-Subproject commit ca764139fc1b5d800182c664aacc0ab126cc45de
+Subproject commit 1725d65fc2893f7c5f216682c72ada09dcd41253