diff --git a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp
index 2001cb01b..85dc1eee4 100644
--- a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp
+++ b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp
@@ -77,7 +77,7 @@ namespace datalog {
             }
         }
 
-        for (auto & c_eq : array_eq_classes) {
+        for (auto c_eq : array_eq_classes) {
             expr* representative = *(c_eq.begin());
             for (expr * v : c_eq) {
                 if (!is_var(v)) {