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


1.1
date	2022.05.13.10.41.38;	author jperkin;	state Exp;
branches;
next	;
commitid	n6nYwO76wYYSNSDD;


desc
@@


1.1
log
@z3: Portability fixes.
@
text
@$NetBSD$

Avoid ambiguous function call.

--- src/sat/sat_lookahead.cpp.orig	2018-11-19 20:21:17.000000000 +0000
+++ src/sat/sat_lookahead.cpp
@@@@ -27,6 +27,8 @@@@ Notes:
 #include "sat/sat_scc.h"
 #include "util/union_find.h"
 
+using std::pow;
+
 namespace sat {
     lookahead::scoped_ext::scoped_ext(lookahead& p): p(p) {
         if (p.m_s.m_ext) p.m_s.m_ext->set_lookahead(&p); 
@