mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

#5261

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-09-26 05:04:02 -07:00
parent 7b982a812e
commit 9782d4a730
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/shell/dimacs_frontend.cpp
View file

@ -75,7 +75,7 @@ static void display_model(sat::solver const & s) {
case l_true: std::cout << i << " "; break; case l_true: std::cout << i << " "; break;
} }
} }
std::cout << " 0\n"; std::cout << "0\n";
} }
static void display_core(sat::solver const& s, vector<sat::literal_vector> const& tracking_clauses) { static void display_core(sat::solver const& s, vector<sat::literal_vector> const& tracking_clauses) {