From e65aa0e7d52b114138f27b66d1b2bf92da78aaba Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 23 Jan 2026 15:36:47 -0800 Subject: [PATCH] fix build warnings Signed-off-by: Nikolaj Bjorner --- src/ast/ast.cpp | 2 +- src/util/util.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 188146d6a..ac2cb843c 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -1914,7 +1914,7 @@ app * ast_manager::mk_app(family_id fid, decl_kind k, unsigned num_args, expr * } app * ast_manager::mk_app(family_id fid, decl_kind k, std::span args) { - return mk_app(fid, k, 0, nullptr, args.size(), args.data()); + return mk_app(fid, k, 0, nullptr, static_cast(args.size()), args.data()); } app * ast_manager::mk_app(family_id fid, decl_kind k, expr * arg) { diff --git a/src/util/util.h b/src/util/util.h index 876605b72..fc123c371 100644 --- a/src/util/util.h +++ b/src/util/util.h @@ -362,7 +362,7 @@ public: template void shuffle(std::span array, random_gen & gen) { - int n = array.size(); + auto n = array.size(); while (--n > 0) { int k = gen() % (n + 1); std::swap(array[n], array[k]);