diff --git a/lib/RecompFrontend b/lib/RecompFrontend
index f987bfa..c3600c0 160000
--- a/lib/RecompFrontend
+++ b/lib/RecompFrontend
@@ -1 +1 @@
-Subproject commit f987bfab82c86ab79961df7891dafe80413b8aff
+Subproject commit c3600c0a8b297bb2827749bd10de45d55f5c8ba0