diff --git a/deps/reopt-vcg b/deps/reopt-vcg
index a03e323e..7f1a7986 160000
--- a/deps/reopt-vcg
+++ b/deps/reopt-vcg
@@ -1 +1 @@
-Subproject commit a03e323ed85ec154d4c34e038a4d3803b0e22eac
+Subproject commit 7f1a7986d6c3c733bbf7622ec66287fec60a04ea