mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
3df8b9c7e2
commit
7b982a812e
|
@ -124,7 +124,7 @@ static void test3() {
|
|||
SASSERT(g.inconsistent());
|
||||
ptr_vector<int> js;
|
||||
g.begin_explain();
|
||||
g.explain<int>(js);
|
||||
g.explain<int>(js, nullptr);
|
||||
g.end_explain();
|
||||
for (int* j : js)
|
||||
std::cout << "conflict: " << *j << "\n";
|
||||
|
|
Loading…
Reference in a new issue