diff --git a/lib/RecompFrontend b/lib/RecompFrontend
index 82ab805..f2d71b2 160000
--- a/lib/RecompFrontend
+++ b/lib/RecompFrontend
@@ -1 +1 @@
-Subproject commit 82ab8055cf8bae733e0da9b5d0b467387eedabb0
+Subproject commit f2d71b2b2609a88f5b8d07c6b775ac9369ff5712