diff --git a/lib/RecompFrontend b/lib/RecompFrontend
index 334acba..86486bf 160000
--- a/lib/RecompFrontend
+++ b/lib/RecompFrontend
@@ -1 +1 @@
-Subproject commit 334acbabb4210f27ca4ea99c1cbe44ee8945846d
+Subproject commit 86486bfb91ba445bc50ded622d557842d747d887