diff --git a/compiler/concrete-optimizer b/compiler/concrete-optimizer
index 48d807107..85abbeada 160000
--- a/compiler/concrete-optimizer
+++ b/compiler/concrete-optimizer
@@ -1 +1 @@
-Subproject commit 48d807107c19cfe3a6fd23cbdd7bf8bef6d2237d
+Subproject commit 85abbeadaed27dcc709969cb3f0d1b2afcaf5491