remove wsp

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 18, 2024 · 458d8b0 · 458d8b0
1 parent 9803e9e
commit 458d8b0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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);