From ed4a84e5d3637d3a0e4088dd1613055a7972cf07 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 2 Feb 2023 19:21:34 -0800
Subject: [PATCH] compiler warning

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/spacer/spacer_cluster.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/spacer/spacer_cluster.cpp b/src/muz/spacer/spacer_cluster.cpp
index b03562b12..fac3a920f 100644
--- a/src/muz/spacer/spacer_cluster.cpp
+++ b/src/muz/spacer/spacer_cluster.cpp
@@ -378,7 +378,7 @@ void lemma_cluster_finder::cluster(lemma_ref &lemma) {
                                    << pattern << "\n"
                                    << " and lemma cube: " << lcube << "\n";);
 
-    for (const lemma_ref &l : neighbours) {
+    for (auto l : neighbours) {
         SASSERT(cluster->can_contain(l));
         bool added = cluster->add_lemma(l, false);
         (void)added;