From 0a8879b5052e38a75a688e122dc130b616f79fd8 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 6 May 2024 13:26:17 +0200
Subject: [PATCH] also normalize or_op

---
 src/sat/smt/polysat/op_constraint.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/sat/smt/polysat/op_constraint.cpp b/src/sat/smt/polysat/op_constraint.cpp
index 3e88c799a..3b32e4df2 100644
--- a/src/sat/smt/polysat/op_constraint.cpp
+++ b/src/sat/smt/polysat/op_constraint.cpp
@@ -28,7 +28,8 @@ namespace polysat {
                 vars().push_back(v);
 
         switch (c) {
-        case code::and_op:
+        case code::and_op: Z3_fallthrough;
+        case code::or_op:
             if (p.index() > q.index())
                 std::swap(p, q);
             break;