diff --git a/compiler b/compiler
index a1c9fba0a..f725faf54 160000
--- a/compiler
+++ b/compiler
@@ -1 +1 @@
-Subproject commit a1c9fba0a2755d914122eff830d1a5f955d00e53
+Subproject commit f725faf548f42d7a7eb95f4808a6459f51284899