head	1.2;
access;
symbols
	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.2
date	2023.05.11.09.57.54;	author adam;	state dead;
branches;
next	1.1;
commitid	StChO7HhI22uTwoE;

1.1
date	2022.05.09.09.08.27;	author jperkin;	state Exp;
branches;
next	;
commitid	6AifI1g4BumTpmDD;


desc
@@


1.2
log
@py-z3solver: removed, use py-z3 from now on
@
text
@$NetBSD: patch-core_src_sat_sat__lookahead.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $

Avoid ambiguous function calls.

--- core/src/sat/sat_lookahead.cpp.orig	2020-09-11 00:52:41.000000000 +0000
+++ core/src/sat/sat_lookahead.cpp
@@@@ -26,6 +26,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); 
@


1.1
log
@py-z3solver: Portability fixes.
@
text
@d1 1
a1 1
$NetBSD$
@