From 682499fb443f949510ffc75761c29d080a7933b5 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 3 Feb 2026 18:40:35 +0000
Subject: [PATCH] Revert incorrect change to nlarith_util.cpp - local mk_or
 needs explicit size

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/qe/nlarith_util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/qe/nlarith_util.cpp b/src/qe/nlarith_util.cpp
index a66db0803..60ff87537 100644
--- a/src/qe/nlarith_util.cpp
+++ b/src/qe/nlarith_util.cpp
@@ -344,7 +344,7 @@ namespace nlarith {
 
         app* mk_or(expr* a, expr* b) {
             expr* args[2] = { a, b };
-            return mk_or(args);
+            return mk_or(2, args);
         }
         void display_branching(
             std::ostream& out, app* x,