mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 19:05:51 +00:00
Code Activity

remove dead code

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2024-11-18 10:19:25 -08:00 • committed by Lev Nachmanson
parent c300843585
commit bc0fdfe158
1 changed files with 0 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/math/lp/dioph_eq.cpp
View file

@ -817,17 +817,6 @@ namespace lp {
return lia_move::undef;
}
void process_branch() {
NOT_IMPLEMENTED_YET();
}
void process_conflict() {
NOT_IMPLEMENTED_YET();
}
bool decide_on_conflict() {
NOT_IMPLEMENTED_YET();
return true;
}
struct undo_fixed : public trail {
lar_solver& m_lra;
unsigned m_j; // the variable that became fixed