diff --git a/lib/RecompFrontend b/lib/RecompFrontend
index ebaa162..da80819 160000
--- a/lib/RecompFrontend
+++ b/lib/RecompFrontend
@@ -1 +1 @@
-Subproject commit ebaa162cba064e4e70c69b69d263d69c59936659
+Subproject commit da808199f6d77249c4282bda02976aebd20217d7