From ae2672f132b6d35fea65e178db06bf2133d45513 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Nov 2022 14:11:24 -0700
Subject: [PATCH] fix build

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

diff --git a/src/util/util.h b/src/util/util.h
index 925e20186..2a037770d 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -361,7 +361,7 @@ void set_fatal_error_handler(void (*pfn)(int error_code));
 
 
 template<typename S, typename T>
-bool any_of(S& set, T& p) {
+bool any_of(S& set, T const& p) {
     for (auto const& s : set)
         if (p(s))
             return true;