From 458d8b033abc60682dd1efbed06b5ad119821ac3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Jul 2024 10:07:35 -0700 Subject: [PATCH] remove wsp Signed-off-by: Nikolaj Bjorner --- src/sat/smt/euf_solver.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/sat/smt/euf_solver.h b/src/sat/smt/euf_solver.h index 22e68d2dabe..1b13d513796 100644 --- a/src/sat/smt/euf_solver.h +++ b/src/sat/smt/euf_solver.h @@ -237,8 +237,6 @@ namespace euf { eq_proof_hint* mk_hint(symbol const& th, literal lit); - - void init_proof(); void on_clause(unsigned n, literal const* lits, sat::status st) override; void on_lemma(unsigned n, literal const* lits, sat::status st);