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