From 6d00d18ee4c72149f0545214f1f555ad898ec2c3 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 20 Jul 2023 17:03:38 +0200
Subject: [PATCH] use universal reference

---
 src/util/util.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/util.h b/src/util/util.h
index 6d4efb671..a1353df25 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -363,7 +363,7 @@ void set_fatal_error_handler(void (*pfn)(int error_code));
 
 
 template<typename S, typename T>
-bool any_of(S& set, T const& p) {
+bool any_of(S&& set, T const& p) {
     for (auto const& s : set)
         if (p(s))
             return true;
@@ -371,7 +371,7 @@ bool any_of(S& set, T const& p) {
 }
 
 template<typename S, typename T>
-bool all_of(S& set, T const& p) {
+bool all_of(S&& set, T const& p) {
     for (auto const& s : set)
         if (!p(s))
             return false;