From 22583a7abd8b2f611b0796389e99a5f7a52d4bdc Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Tue, 12 May 2026 09:08:47 +0200
Subject: [PATCH] Typo in pp: lt != le

---
 src/smt/seq/seq_nielsen_pp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq/seq_nielsen_pp.cpp b/src/smt/seq/seq_nielsen_pp.cpp
index f4faa67ea..a0b54dd60 100644
--- a/src/smt/seq/seq_nielsen_pp.cpp
+++ b/src/smt/seq/seq_nielsen_pp.cpp
@@ -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) + " &lt; " + arith_expr_html(y, names, next_id, m);
         }
         if (arith.is_gt(e, x, y)) {