From c29d04d431b2152e1e99c7af120645c40a7b3cd9 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 29 Nov 2023 13:45:22 +0100 Subject: [PATCH] fix compiler error (2) --- src/math/polysat/viable.cpp | 2 +- src/util/rational.h | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/math/polysat/viable.cpp b/src/math/polysat/viable.cpp index e2c461d7b..62e0350d3 100644 --- a/src/math/polysat/viable.cpp +++ b/src/math/polysat/viable.cpp @@ -440,7 +440,7 @@ namespace polysat { template bool viable::refine_bits(pvar v, rational const& val, fixed_bits_info const& fbi) { - entry* ne = refine_bits(v, val, s.size(v), fbi); + entry* ne = refine_bits(v, val, s.size(v), fbi); if (!ne) return true; intersect(v, ne); diff --git a/src/util/rational.h b/src/util/rational.h index b58d9bbb1..88a0552ba 100644 --- a/src/util/rational.h +++ b/src/util/rational.h @@ -670,3 +670,7 @@ inline rational gcd(rational const & r1, rational const & r2, rational & a, rati rational::m().gcd(r1.m_val, r2.m_val, a.m_val, b.m_val, result.m_val); return result; } + +inline void swap(rational& r1, rational& r2) { + r1.swap(r2); +}