diff --git a/lib/RecompFrontend b/lib/RecompFrontend
index 62813ee..5f0b11a 160000
--- a/lib/RecompFrontend
+++ b/lib/RecompFrontend
@@ -1 +1 @@
-Subproject commit 62813ee1cf50f63a130cd544a17efda51182d7fb
+Subproject commit 5f0b11a8d744fd935671af20a22fced2217ecb92