mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-16 07:05:35 +00:00
Code Activity

Typo in pp: lt != le

Browse source
This commit is contained in:
CEisenhofer 2026-05-12 09:08:47 +02:00
parent 55ea1929e9
commit 22583a7abd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/seq/seq_nielsen_pp.cpp
View file

@ -159,7 +159,7 @@ namespace seq {
}
if (m.is_not(e, x))
return "!(" + arith_expr_html(x, names, next_id, m) + ")";
if (arith.is_le(e, x, y)) {
if (arith.is_lt(e, x, y)) {
return arith_expr_html(x, names, next_id, m) + " < " + arith_expr_html(y, names, next_id, m);
}
if (arith.is_gt(e, x, y)) {