From d77141f16899de1d93818b903e499747655fa718 Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Fri, 9 Feb 2024 12:26:33 +0100
Subject: [PATCH] [issue1082] reduce use of auto.

---
 src/search/utils/tuples.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search/utils/tuples.h b/src/search/utils/tuples.h
index 3d2626c371..30aae56a65 100644
--- a/src/search/utils/tuples.h
+++ b/src/search/utils/tuples.h
@@ -14,7 +14,7 @@ auto flatten_tuple(T &&t) {
 
 template<class ... Ts>
 auto flatten_tuple(std::tuple<Ts...> &&t) {
-    constexpr auto tuple_size = std::tuple_size<std::tuple<Ts...>>::value;
+    constexpr std::size_t tuple_size = std::tuple_size<std::tuple<Ts...>>::value;
     return flatten_tuple_elements(std::move(t), std::make_index_sequence<tuple_size>());
 }