diff --git a/compiler/concrete-optimizer b/compiler/concrete-optimizer
index 4fffc26bb..bf6bdcfec 160000
--- a/compiler/concrete-optimizer
+++ b/compiler/concrete-optimizer
@@ -1 +1 @@
-Subproject commit 4fffc26bbc405f3ee52cfe7339e0091e8877ef5a
+Subproject commit bf6bdcfec247d4bba8f425f0565efffe3e961d97