head	1.1;
access;
symbols
	pkgsrc-2026Q1:1.1.0.24
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.22
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.20
	pkgsrc-2025Q3-base:1.1
	pkgsrc-2025Q2:1.1.0.18
	pkgsrc-2025Q2-base:1.1
	pkgsrc-2025Q1:1.1.0.16
	pkgsrc-2025Q1-base:1.1
	pkgsrc-2024Q4:1.1.0.14
	pkgsrc-2024Q4-base:1.1
	pkgsrc-2024Q3:1.1.0.12
	pkgsrc-2024Q3-base:1.1
	pkgsrc-2024Q2:1.1.0.10
	pkgsrc-2024Q2-base:1.1
	pkgsrc-2024Q1:1.1.0.8
	pkgsrc-2024Q1-base:1.1
	pkgsrc-2023Q4:1.1.0.6
	pkgsrc-2023Q4-base:1.1
	pkgsrc-2023Q3:1.1.0.4
	pkgsrc-2023Q3-base:1.1
	pkgsrc-2023Q2:1.1.0.2
	pkgsrc-2023Q2-base:1.1;
locks; strict;
comment	@// @;


1.1
date	2023.05.25.10.53.24;	author jperkin;	state Exp;
branches;
next	;
commitid	LyUfM2xaSgUAKkqE;


desc
@@


1.1
log
@z3: Avoid ambiguous function call.
@
text
@$NetBSD$

Avoid ambiguous function call.

--- src/ast/rewriter/seq_eq_solver.cpp.orig	2023-05-12 19:59:04.000000000 +0000
+++ src/ast/rewriter/seq_eq_solver.cpp
@@@@ -284,7 +284,7 @@@@ namespace seq {
         bv_util bv(m);
         sort* bv_sort = n->get_sort();
         unsigned sz = bv.get_bv_size(n);
-        if (es.size() > (sz + log2(10)-1)/log2(10)) {
+        if (es.size() > (sz + log2(10.0)-1)/log2(10.0)) {
             set_conflict();
             return true;
         }
@