From cb3c86736cbd41a368e175327efbf315a1317e09 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Mon, 24 Oct 2022 10:23:50 +0100 Subject: [PATCH] fix build --- src/sat/smt/xor_solver.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/smt/xor_solver.h b/src/sat/smt/xor_solver.h index 3da30c580..615d83991 100644 --- a/src/sat/smt/xor_solver.h +++ b/src/sat/smt/xor_solver.h @@ -23,9 +23,9 @@ namespace xr { th_solver* clone(euf::solver& ctx) override; - sat::literal internalize(expr* e, bool sign, bool root, bool redundant) override { UNREACHABLE(); return sat::null_literal; } + sat::literal internalize(expr* e, bool sign, bool root) override { UNREACHABLE(); return sat::null_literal; } - void internalize(expr* e, bool redundant) override { UNREACHABLE(); } + void internalize(expr* e) override { UNREACHABLE(); } void asserted(sat::literal l) override;