mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Fixed warning message
This commit is contained in:
parent
fa6f9b4a37
commit
8c191781e7
|
@ -23,7 +23,7 @@ void demorgan() {
|
|||
|
||||
expr x = c.bool_const("x");
|
||||
expr y = c.bool_const("y");
|
||||
expr conjecture = !(x && y) == (!x || !y);
|
||||
expr conjecture = (!(x && y)) == (!x || !y);
|
||||
|
||||
solver s(c);
|
||||
// adding the negation of the conjecture as a constraint.
|
||||
|
|
Loading…
Reference in a new issue